SLMC
From MaRDI portal
Cited in
(95)- Specification and refinement of mobile systems in MTLA and mobile UML
- A spatial logic for concurrency. I
- Spatio-temporal Model Checking for Mobile Real-Time Systems
- A new natural structural congruence in the pi-calculus with replication
- A spatial logic for concurrency. II
- Using session types for reasoning about boundedness in the \(\pi\)-calculus
- The Temporal Logic of Rewriting: A Gentle Introduction
- A name abstraction functor for named sets
- Hierarchical design rewriting with Maude
- Deciding safety properties in infinite-state pi-calculus via behavioural types
- TQL: a query language for semistructured data based on the ambient logic
- A Hybrid Type System for Lock-Freedom of Mobile Processes
- Foundations of Software Science and Computation Structures
- An exercise in structural congruence
- An Analysis for Proving Temporal Properties of Biological Systems
- A calculus and logic of resources and processes
- Frontiers of Combining Systems
- Using session types for reasoning about boundedness in the \(\pi\)-calculus
- Formal Methods for Components and Objects
- Elimination of quantifiers and undecidability in spatial logics for concurrency
- Kind Bigraphs
- A semantic framework for open processes
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS
- A spatial equational logic for the applied \(\pi \)-calculus
- Verification of finite-state machines: a distributed approach
- Abstract interpretation based verification of temporal properties for BioAmbients
- Model checking mobile stochastic logic
- Resources, concurrency, and local reasoning
- What is a free name in a process algebra?
- A rewriting-based model checker for the linear temporal logic of rewriting
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- Pure bigraphs: structure and dynamics
- Nominal logic, a first order theory of names and binding
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Graphical Encoding of a Spatial Logic for the π-Calculus
- A coordination approach to mobile components
- Elimination of spatial connectives in static spatial logics
- CONCUR 2005 – Concurrency Theory
- On the relationship between spatial logics and behavioral simulations
- Graphical models of separation logic
- Nominal unification
- Concurrent weighted logic
- Model checking mobile ambients
- Verification of spatial and temporal modalities in biochemical systems
- MANIFOLD
- MWB
- Petruchio
- CBabel
- BioShape
- Motras
- KLAIM
- ULM
- MoMo
- tKlaim
- UniForM
- PIPER
- BioAmbient Machine
- BlenX
- QuteRTL
- MMC
- MAGIC
- FShell
- CC-Pi
- Qu-Prolog
- DCVALID
- GcPan
- Lorel
- Spatial and behavioral types in the pi-calculus
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings
- Linear and affine logics with temporal, spatial and epistemic operators
- A decentralised graphical implementation of mobile ambients
- Name-passing in an ambient-like calculus and its proof using spatial logic
- Spatial-behavioral types for concurrency and resource control in distributed systems
- Towards a process calculus for REST: current state of the art
- A study on team bisimulation and H-team bisimulation for BPP nets
- Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
- Team bisimilarity, and its associated modal logic, for BPP nets
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion
- A theory of structural stationarity in the \(\pi\)-calculus
- Transition systems, link graphs and Petri nets
- Deciding validity in a spatial logic for trees
- Decidable Extensions of Hennessy-Milner Logic
- Observing Distributed Computation. A Dynamic-Epistemic Approach
- Compositionality for quantitative specifications
- Programming Languages and Systems
- Spatial-Behavioral Types, Distributed Services, and Resources
- Partial Knowledge in Membrane Systems: A Logical Approach
- Fresh logic: Proof-theory and semantics for FM and nominal techniques
- A Complete Axiomatic System for a Process-Based Spatial Logic
- Manipulating trees with hidden labels
- Undecidability of model checking in brane logic
- Extensionality of spatial observations in distributed systems
- Co-algebraic models for quantitative spatial logics
- Bialgebraic methods and modal logic in structural operational semantics
- On symbolic semantics for name-decorated contexts
This page was built for software: SLMC
