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