A petri net reduction algorithm for protocol analysis
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Diplans: a new language for the study and implementation of coordination
ACM Transactions on Information Systems (TOIS)
ACL: a language specific for auditors
Communications of the ACM
An algebraic characterization of independence of Petri net processes
Information Processing Letters - Special issue: Contribution to computing science
A brief history of process algebra
Theoretical Computer Science - Process algebra
An Axiomatic Characterization of Algebras of Processes of Petri Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
WS-CDL+ for web service collaboration
Information Systems Frontiers
Circal: A calculus for circuit description
Integration, the VLSI Journal
Composing abstractions of coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Transaction Scripts: Making Implicit Scenarios Explicit
Electronic Notes in Theoretical Computer Science (ENTCS)
Understanding signalling networks as collections of signal transduction pathways
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
Multiplicative Transition Systems
Fundamenta Informaticae
An Axiomatic Characterization of Algebras of Processes of Petri Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
MAXIMAL CHAINS AND ANTICHAINS IN STRONGLY NOETHERIAN SEMIORDERS
Fundamenta Informaticae
| Hi-index | 0.02 |