Atomic refinement in process description languages

DOI10.1007/3-540-54345-7_55MaRDI QIDQ4035233zbMATH OpenFDO

Authors Roberto Gorrieri, Pierpaolo Degano

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54345-7_55

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
• Adding action refinement to a finite process algebra
• 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?)
• Refinement of atomicity in real-time concurrent systems
• Compositional refinement for hierarchical hybrid systems
• A reduced maximality labeled transition system generation for recursive Petri nets

This page was built for publication: Atomic refinement in process description languages

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