scientific article; zbMATH DE number 1512709

MaRDI QIDQ4508399zbMATH OpenFDO

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

Publication date 13 June 2001

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)

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

Cited in

(2)

• Static Analysis
• 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)