Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Theoretical Computer Science
Modal logic over higher dimensional automata
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
On the origin of events: branching cells as stubborn sets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Formal Relationships Between Geometrical and Classical Models for Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
On Concurrent Games with Payoff
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |