On a higher-order calculus of computational fields

DOI10.1007/978-3-030-21759-4_17OpenAlexW2953640389MaRDI QIDQ6190190

Jacob Beal, Danilo Pianini, Mirko Viroli, Giorgio Audrito, Ferruccio Damiani

Publication date: 6 February 2024

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21759-4_17

zbMATH Keywords

operational semanticsdistributed computingdenotational semanticstype systemcomputational adequacycore calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• A set of postulates for the foundation of logic
• Mobile ambients
• Definability and Full Abstraction
• A Higher-Order Calculus of Computational Fields

This page was built for publication: On a higher-order calculus of computational fields