Dynamic matrices and the cost analysis of concurrent programs

DOI10.1007/3-540-60043-4_61zbMath1496.68106OpenAlexW1486383653MaRDI QIDQ5096393

Ugo Montanari, Gian-Luigi Ferrari

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_61

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

On the coarsest congruence within global-clock-bounded equivalence ⋮ The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes ⋮ On testing urgency through laziness over processes with durational actions ⋮ On the semantics of durational actions ⋮ On performance congruences for process algebras ⋮ Processes of timed Petri nets ⋮ Absolute versus relative time in process algebras.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A distributed operational semantics of CCS based on condition/event systems
• Matricial theories
• Min-max functions

This page was built for publication: Dynamic matrices and the cost analysis of concurrent programs