scientific article

zbMATH Open0777.68060MaRDI QIDQ4035233FDOQ4035233

Pierpaolo Degano, Roberto Gorrieri

Publication date: 18 May 1993

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

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?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• General Refinement, Part Two: Flexible Refinement 👍 👎

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)