A spatial logic for concurrency (part I)
By Luís Caires, Luca Cardelli. Information and Computation, 2003
295 citations recorded by the source corpus.
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our logic includes spatial operations corresponding to composition, local name restriction, and a primitive fresh name quantifier. Properties can also be defined by recursion; a central aim of this paper is then the combination of a logical notion of freshness with inductive and coinductive definitions of properties.
Subfields: Artificial Intelligence, Computer Networks and Communications
View Paper: https://www.semanticscholar.org/paper/12e5eac7ac81539c0d2cc1126a4dad4d1979a963
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computer Networks and Communications
Citations in the corpus
- Non-commercial Research and Educational Use including without Limitation Use in Instruction at Your Institution, Sending It to Specific Colleagues That You Know, and Providing a Copy to Your Institution's Administrator. All Other Uses, Reproduction and Distribution, including without Limitation Comm (2005, unknown): “…decoupling, multiple quantum NMR (MQ–NMR) techniques , computer experiments such as molecular dynamics or Monte Carlo type simulations to estimate the degree of orientational order, and the use of 'magic mixtures' in combination with simple phenomenological models to estimate order parameters.”
- Nominal Logic: A First Order Theory of Names and Binding (2001, methodology): “A further example is provided by the work of Caires and Cardelli on modal logic for the spatial structure of concurrent systems [3, 4]; this and the related work [5] make use of the freshness quantifier of Section 6.”
- Tendermint: Byzantine Fault Tolerance in the Age of Blockchains (2016, background): “of distributed systems, such as safety and liveness [92], and localization [15].”