scientific article; zbMATH DE number 1192310

MaRDI QIDQ3842791zbMATH OpenFDO

Authors Ugo Montanari, Gian Luigi Ferrari

Publication date 9 November 1998

zbMATH Keywords

SOS formatstructured operational semanticstruly concurrent semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Structural operational semantics.
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• SOS formats and meta-theory: 20 years after
• Structural Operational Semantics for Stochastic Process Calculi

Cited in

(8)

• A format for semantic equivalence comparison
• Structural operational semantics.
• Ugo Montanari and Concurrency Theory
• Models of Computation: A Tribute to Ugo Montanari’s Vision
• scientific article; zbMATH DE number 67510 (Why is no real title available?)
• Structured transition systems with parametric observations: observational congruences and minimal realizations
• scientific article; zbMATH DE number 7020157 (Why is no real title available?)
• scientific article; zbMATH DE number 2087402 (Why is no real title available?)

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