scientific article; zbMATH DE number 938663

MaRDI QIDQ4896948zbMATH OpenFDO

Authors Rocco De Nicola, Flavio Corradini

Publication date 25 March 1997

zbMATH Keywords

Petri netsrewriting systemslabelled event structures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• A partial ordering semantics for CCS
• A causal semantics for CCS via rewriting logic
• scientific article; zbMATH DE number 1231669
• scientific article; zbMATH DE number 4119653
• scientific article; zbMATH DE number 3911691

Cited in

(6)

• scientific article; zbMATH DE number 18536 (Why is no real title available?)
• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 3911691 (Why is no real title available?)
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• A causal semantics for CCS via rewriting logic
• scientific article; zbMATH DE number 4119615 (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 Q4896948)