Year of publication
Type of media
Source
Subject
Type of material
Language
21–40 of 257 hits
Sort by:
Sort by:
-
Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum
Free accessDataCite | 2019| -
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
Free accessArXiv | 2013| -
An Attack Possibility on Time Synchronization Protocols Secured with TESLA-Like Mechanisms
Springer Verlag | 2016| -
A New Foundation for Finitary Corecursion
The Locally Finite Fixpoint and Its PropertiesSpringer Verlag | 2016|