scientific article; zbMATH DE number 176132

zbMATH Open0777.68060MaRDI QIDQ4035233FDOQ4035233

Authors: Roberto Gorrieri, Pierpaolo Degano 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (8)

• The semantics of the combination of atomized statements and parallel choice
• Title not available (Why is that?)
• Title not available (Why is that?)
• Calculi of net structures and sets are similar
• A reduced maximality labeled transition system generation for recursive Petri nets
• Title not available (Why is that?)
• On hierarchically developing reactive systems
• Title not available (Why is that?)

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)