Open Bisimulation for Aspects

DOI10.1007/978-3-642-02059-9_3zbMATH Open1242.68068OpenAlexW4248968782MaRDI QIDQ3636798

Corin Pitcher, Radha Jagadeesan, J. Riely

Publication date: 30 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02059-9_3

Mathematics Subject Classification ID

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 (5)

A Complete, Co-inductive Syntactic Theory of Sequential Control and State ⋮ Complete trace models of state and control ⋮ From Applicative to Environmental Bisimulation ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ (Towards a) statistical probabilistic lazy lambda calculus

This page was built for publication: Open Bisimulation for Aspects