scientific article; zbMATH DE number 1754584

zbMATH Open0986.68709MaRDI QIDQ4535009FDOQ4535009

Author name not available (Why is that?)

Publication date: 12 June 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760061

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

Recommendations

• Modeling concurrency with partial orders
• Partial ordering models for concurrency can be defined operationally
• The equational theory of pomsets
• Compact and efficiently verifiable models for concurrent systems
• scientific article; zbMATH DE number 3995041

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• Partial Order Concepts in Applied Sciences

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