Recommendations
Cites work
- scientific article; zbMATH DE number 1692931 (Why is no real title available?)
- scientific article; zbMATH DE number 1696431 (Why is no real title available?)
- scientific article; zbMATH DE number 1722648 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 2020178 (Why is no real title available?)
- scientific article; zbMATH DE number 1927564 (Why is no real title available?)
- scientific article; zbMATH DE number 1759603 (Why is no real title available?)
- scientific article; zbMATH DE number 2086655 (Why is no real title available?)
- scientific article; zbMATH DE number 1841829 (Why is no real title available?)
- scientific article; zbMATH DE number 2242579 (Why is no real title available?)
- scientific article; zbMATH DE number 2242589 (Why is no real title available?)
- A new approach to abstract syntax with variable binding
- Algebraic laws for nondeterminism and concurrency
- Anytime, anywhere: modal logics for mobile ambients
- Extensionality and intensionality of the ambient logics
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Functions as processes
- Modal logics for mobile processes
- Model checking mobile processes
- Multisets and structural congruence of the pi-calculus with replication
- Results on the propositional \(\mu\)-calculus
- The Logic of Bunched Implications
Cited in
(61)- Kind Bigraphs
- Trustworthy Global Computing
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Process calculi for biological processes
- Manipulating trees with hidden labels
- Extensionality of spatial observations in distributed systems
- Co-algebraic models for quantitative spatial logics
- Decidable Extensions of Hennessy-Milner Logic
- A name abstraction functor for named sets
- CONCUR 2004 - Concurrency Theory
- Model checking mobile stochastic logic
- Concurrent weighted logic
- A calculus and logic of resources and processes
- Elimination of quantifiers and undecidability in spatial logics for concurrency
- Bialgebraic methods and modal logic in structural operational semantics
- Minimisation of spatial models using branching bisimilarity
- A decentralised graphical implementation of mobile ambients
- Specification and refinement of mobile systems in MTLA and mobile UML
- A rewriting-based model checker for the linear temporal logic of rewriting
- Abstract interpretation based verification of temporal properties for BioAmbients
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- A study on team bisimulation and H-team bisimulation for BPP nets
- scientific article; zbMATH DE number 1927564 (Why is no real title available?)
- A Spatial Logic for Simplicial Models
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- Logical Semantics of Types for Concurrency
- Spatial-Behavioral Types, Distributed Services, and Resources
- CONCUR 2004 - Concurrency Theory
- Compositionality for quantitative specifications
- Logical vs. behavioural specifications
- A theory of structural stationarity in the \(\pi\)-calculus
- A Logic for Distributed Higher Order π-Calculus
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- scientific article; zbMATH DE number 2242579 (Why is no real title available?)
- Spatial and behavioral types in the pi-calculus
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- A Decentralized Implementation of Mobile Ambients
- Hybrid Systems: Computation and Control
- Linear and affine logics with temporal, spatial and epistemic operators
- A Spatial Equational Logic for the Applied π-Calculus
- An exercise in structural congruence
- Hierarchical design rewriting with Maude
- Spatial-behavioral types for concurrency and resource control in distributed systems
- A Complete Axiomatic System for a Process-Based Spatial Logic
- Relating reasoning methodologies in linear logic and process algebra
- scientific article; zbMATH DE number 4119599 (Why is no real title available?)
- A noninterleaving model of concurrency based on transition systems with spatial structure
- Physarum spatial logic
- Verification of finite-state machines: a distributed approach
- Foundations of Software Science and Computation Structures
- Graphical models of separation logic
- A spatial logic for concurrency. II
- Team bisimilarity, and its associated modal logic, for BPP nets
- Verification of spatial and temporal modalities in biochemical systems
- Fresh logic: Proof-theory and semantics for FM and nominal techniques
- scientific article; zbMATH DE number 1759612 (Why is no real title available?)
- Modular Markovian Logic
- scientific article; zbMATH DE number 176158 (Why is no real title available?)
- Name-passing in an ambient-like calculus and its proof using spatial logic
- A spatial equational logic for the applied \(\pi \)-calculus
This page was built for publication: A spatial logic for concurrency. I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887152)