A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions
Formal Methods in System Design - Special issue: industrial critical systems
Dynamic connectors for concurrency
Theoretical Computer Science
The box algebra = Petri nets + process expressions
Information and Computation
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Complete Finite Prefix for Process Algebra
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Fundamenta Informaticae
A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science
Well-behaved flow event structures for parallel composition and action refinement
Theoretical Computer Science
Journal of Computer Science and Technology
Operational Semantics for Real-Time Processes with Action Refinement
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
Concurrency, Graphs and Models
Relaxed memory models: an operational approach
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Secure Enforcement for Global Process Specifications
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Reversing algebraic process calculi
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Fundamenta Informaticae
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
Fundamenta Informaticae
Hi-index | 0.00 |