Information and Computation
ACM Transactions on Computational Logic (TOCL)
On Plain and Hereditary History-Preserving Bisimulation
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Compositional Modeling and Verification of Workflow Processes
Business Process Management, Models, Techniques, and Empirical Studies
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
New Bisimulation Semantics for Distributed Systems
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Symmetric and Asymmetric Asynchronous Interaction
Electronic Notes in Theoretical Computer Science (ENTCS)
Enforcing Concurrent Temporal Behaviors
Electronic Notes in Theoretical Computer Science (ENTCS)
Aggregation of transitions in marking graph generation based on maximality semantics for petri nets
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
On distributability of petri nets
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
| Hi-index | 0.00 |