scientific article; zbMATH DE number 1638641

zbMATH Open0967.68517MaRDI QIDQ2736337FDOQ2736337

Luca Aceto

Publication date: 29 August 2001

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

Recommendations

• scientific article; zbMATH DE number 1927580
• The equational theory of pomsets
• scientific article; zbMATH DE number 1059324
• Towards a pomset semantics for a shared-variable parallel language
• scientific article; zbMATH DE number 1927576

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cited In (10)

• Concurrent testing of processes
• Axiomatizing the subsumption and subword preorders on finite and infinite partial words
• Free shuffle algebras in language varieties
• The equational theory of pomsets
• Bisimulation and action refinement
• Free shuffle algebras in language varieties extended abstract
• Nonfinite axiomatizability of shuffle inequalities
• Title not available (Why is that?)
• Algebra and theory of order-deterministic pomsets
• Nonfinite axiomatizability of the equational theory of shuffle

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