Petri nets and algebraic calculi of processes

Authors:
Gérard Boudol;Gérard Roucairol;Robert de Simone
Affiliations:
-;-;-
Venue:
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
Year:
1985

Citing 0
Cited 4

Compositional verification of concurrent systems using Petri-net-based condensation rules

ACM Transactions on Programming Languages and Systems (TOPLAS)
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions

IEEE Transactions on Computers
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification

IEEE Transactions on Knowledge and Data Engineering
A comparison between strand spaces and multiset rewriting for security protocol analysis

Journal of Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract