scientific article; zbMATH DE number 1638641

MaRDI QIDQ2736337zbMATH OpenFDO

Authors Luca Aceto

Publication date 29 August 2001

Mathematics Subject Classification ID

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

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

Cited in

(13)

• The equational theory of pomsets
• Axiomatizing the subsumption and subword preorders on finite and infinite partial words
• Algebra and theory of order-deterministic pomsets
• Concurrent testing of processes
• scientific article; zbMATH DE number 4016177 (Why is no real title available?)
• Step bisimulation is pomset equivalence on a parallel language without explicit internal choice
• scientific article; zbMATH DE number 1059324 (Why is no real title available?)
• A complete axiomatisation for the inclusion of series-parallel partial orders
• Nonfinite axiomatizability of the equational theory of shuffle
• Free shuffle algebras in language varieties extended abstract
• Nonfinite axiomatizability of shuffle inequalities
• Free shuffle algebras in language varieties
• Bisimulation and action 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 Q2736337)