scientific article; zbMATH DE number 1512709

zbMATH Open0962.68123MaRDI QIDQ4508399FDOQ4508399

Juan V. Echagüe, P. R. D'Argenio, Luis R. Sierra Abbate

Publication date: 13 June 2001

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

Recommendations

• Distribution and locality of concurrent systems
• Locality based semantics for process algebras
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
• Process algebras with localities.
• A theory of processes with localities

zbMATH Keywords

asynchronous transition systemprocess specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• Process algebras with localities.

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