Models for name-passing processes: interleaving and causal
Information and Computation
Model-checking games for fixpoint logics with partial order models
Information and Computation
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
Hi-index | 0.00 |