A study of mutable checkpointing and related algorithms. | 0 | 0.34 | 2018 |
Analyzing Mutable Checkpointing via Invariants. | 1 | 0.38 | 2015 |
A Causal Checkpointing Algorithm for Mobile Computing Environments | 4 | 0.53 | 2014 |
An Operational Semantics for Shared Messaging Communication | 0 | 0.34 | 2007 |
On timed automata with discrete time – structural and language theoretical characterization | 1 | 0.35 | 2005 |
Observing Partial Order Runs of Petri Nets | 1 | 0.35 | 1997 |
On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes | 22 | 2.69 | 1995 |
A Theory of Processes with Localities | 45 | 5.16 | 1994 |
Comparing locality and causality based equivalences | 24 | 1.27 | 1994 |
On the decidability of non-interleaving process equivalences | 7 | 0.73 | 1994 |
Proof Systems for Cause Based Equivalences | 4 | 0.51 | 1993 |
Observing localities | 49 | 4.03 | 1993 |
A Theory of Process with Localities (Extended Abstract) | 5 | 0.43 | 1992 |
Concurrent bisimulations in Petri nets | 70 | 3.86 | 1991 |
Observing Localities (Extended Abstract) | 2 | 0.38 | 1991 |
Petri Net systems and their closure properties | 12 | 1.09 | 1988 |
Infinitary partial Petri net languages and their relationship to other Petri net semantics | 2 | 0.50 | 1987 |