The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Process Algebras for Locality
Abstract
Several process algebras have been proposed in the literature to support the notion of locality. In this chapter the authors compare some of these process algebras, namely Distributed p, Ambient Calculus, Join Calculus, M-calculus, and Kell Calculus. Specifically, they look at the locality abstractions supported by the algebras and how these abstractions interact with the communication mechanisms in the algebras, higher-order constructs, and process passivation. The authors also look at the model checking support in the algebras that allow the verification of locality-based behaviour.
Related Content
|
Subrata Tikadar, Kaushik Paul, Abhishek Mukhopadhyay.
© 2026.
26 pages.
|
|
Devanshi Shrivastava, Debanshi Chakraborty, Manjusha Pandey, Siddharth Swarup Rautray.
© 2026.
32 pages.
|
|
Harshita Gupta, Suman Suman Majumder.
© 2026.
12 pages.
|
|
Subhajit Ghosh.
© 2026.
38 pages.
|
|
Sanjib Kundu, Sourav Kayal.
© 2026.
40 pages.
|
|
Sudip Chatterjee, Pronaya Bhattacharya, Subrata Tikadar.
© 2026.
14 pages.
|
|
Chandan Kumar Singh.
© 2026.
40 pages.
|
|
|