scientific article; zbMATH DE number 176132

MaRDI QIDQ4035233zbMATH OpenFDO

Authors Roberto Gorrieri, Pierpaolo Degano

Publication date 18 May 1993

zbMATH Keywords

bisimulationscompositionalityconcurrent systemssemantics and specification of concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 92605
• scientific article; zbMATH DE number 590996
• scientific article; zbMATH DE number 108007
• scientific article; zbMATH DE number 176759
• General refinement. II: Flexible refinement

Cited in

(9)

• The semantics of the combination of atomized statements and parallel choice
• On hierarchically developing reactive systems
• TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
• Calculi of net structures and sets are similar
• scientific article; zbMATH DE number 92605 (Why is no real title available?)
• scientific article; zbMATH DE number 590996 (Why is no real title available?)
• scientific article; zbMATH DE number 1751888 (Why is no real title available?)
• scientific article; zbMATH DE number 1794359 (Why is no real title available?)
• A reduced maximality labeled transition system generation for recursive Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035233)