scientific article; zbMATH DE number 938663

zbMATH Open0858.68056MaRDI QIDQ4896948FDOQ4896948

Authors: Rocco De Nicola, Flavio Corradini 

Publication date: 25 March 1997

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

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

zbMATH Keywords

Petri netsrewriting systemslabelled event structures

Mathematics Subject Classification ID

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

Cited In (6)

• A partial ordering semantics for CCS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A causal semantics for CCS via rewriting logic
• 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 Q4896948)