Generalized Synchronization Languages
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Models for Name-Passing Processes: Interleaving and Causal
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science
Models for name-passing processes: interleaving and causal
Information and Computation
Conservative approximations for heterogeneous design
Proceedings of the 4th ACM international conference on Embedded software
A comparison between strand spaces and multiset rewriting for security protocol analysis
Journal of Computer Security
Refinement preserving approximations for the design and verification of heterogeneous systems
Formal Methods in System Design
Reversibility and Models for Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
Approximating Behaviors in Embedded System Design
Concurrency, Graphs and Models
Configuration structures, event structures and Petri nets
Theoretical Computer Science
On linear logic planning and concurrency
Information and Computation
Events, causality, and concurrency in membrane systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Model-checking games for fixpoint logics with partial order models
Information and Computation
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
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Timed transition systems with independence and marked scott domains: an adjunction
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Asynchronous games: innocence without alternation
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
| Hi-index | 5.23 |