Angelicism in the Theory of Reactive Processes

DOI10.1007/978-3-319-14806-9_3zbMath1457.68067OpenAlexW1437270859MaRDI QIDQ2814614

Pedro Ribeiro, Ana Cavalcanti

Publication date: 22 June 2016

Published in: Unifying Theories of Programming (Search for Journal in Brave)

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

zbMATH Keywords

formal specificationCSPUTPreactive processes

Mathematics Subject Classification ID

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)

Cites Work

• A theoretical basis for stepwise refinement and the programming calculus
• Angelic nondeterminism in the unifying theories of programming
• Terms with unbounded demonic and angelic nondeterminacy
• Alternating states for dual nondeterminism in imperative programming
• Understanding concurrent systems
• A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
• Refinement Calculus
• Mathematics of Program Construction
• Integrated Formal Methods
• Theory and Applications of Relational Structures as Knowledge Instruments
• Unnamed Item
• Unnamed Item

This page was built for publication: Angelicism in the Theory of Reactive Processes