Pages that link to "Item:Q1887152"
From MaRDI portal
The following pages link to A spatial logic for concurrency. I (Q1887152):
Displayed 48 items.
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Specification and refinement of mobile systems in MTLA and mobile UML (Q820132) (← links)
- An exercise in structural congruence (Q845877) (← links)
- A calculus and logic of resources and processes (Q855007) (← links)
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- Graphical models of separation logic (Q989553) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- Model checking mobile stochastic logic (Q995465) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- A spatial logic for concurrency. II (Q1881257) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Fresh logic: Proof-theory and semantics for FM and nominal techniques (Q2372191) (← links)
- Verification of finite-state machines: a distributed approach (Q2413026) (← links)
- Name-passing in an ambient-like calculus and its proof using spatial logic (Q2491641) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
- A Name Abstraction Functor for Named Sets (Q2873662) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes (Q3523110) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- A Spatial Equational Logic for the Applied π-Calculus (Q3541032) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- Kind Bigraphs (Q4982073) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Hierarchical Design Rewriting with Maude (Q5179129) (← links)
- PHYSARUM SPATIAL LOGIC (Q5388703) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- Process calculi for biological processes (Q6062000) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- Minimisation of spatial models using branching bisimilarity (Q6174538) (← links)