Non-interleaving semantics for mobile processes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4074504 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1333606 (Why is no real title available?)
- scientific article; zbMATH DE number 2102772 (Why is no real title available?)
- A calculus of mobile agents
- A calculus of mobile processes. II
- A distributed operational semantics of CCS based on condition/event systems
- A fully abstract semantics for causality in the \(\pi\)-calculus
- A partial ordering semantics for CCS
- Asynchronous process calculi: The first- and higher-order paradigms
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- Comparing locality and causality based equivalences
- Locality and interleaving semantics in calculi for mobile processes
- Modal logics for mobile processes
- Modeling concurrency with partial orders
- Observing localities
- Petri nets, algebras, morphisms, and compositionality
- Plain CHOCS. A second generation calculus for higher order processes
- Proved trees
- Read-write causality
Cited in
(31)- Modelling biochemical pathways through enhanced \(\pi\)-calculus
- Replications in reversible concurrent calculi
- A chart semantics for the pi-calculus
- The correctness of concurrencies in (reversible) concurrent calculi
- Measuring security in IoT communications
- An analysis for causal properties of membrane interactions
- A parametric framework for reversible \(\pi\)-calculi
- Language-based performance prediction for distributed and mobile systems
- Causal computational complexity of distributed processes
- Event structure semantics for multiparty sessions
- Concurrencies in reversible concurrent calculi
- Causality for mobile processes
- Models for name-passing processes: Interleaving and causal
- Locality and interleaving semantics in calculi for mobile processes
- Pierpaolo Degano
- scientific article; zbMATH DE number 1479626 (Why is no real title available?)
- Causal static analysis for brane calculi
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
- Static evidences for attack reconstruction
- Primitives for authentication in process algebras.
- Synchrony versus causality in distributed systems
- scientific article; zbMATH DE number 7447776 (Why is no real title available?)
- A causal semantics for CCS via rewriting logic
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
- A stable non-interleaving early operational semantics for the pi-calculus
- Reversibility in the higher-order \(\pi\)-calculus
- A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).
- Causality and replication in concurrent processes
- A stable non-interleaving early operational semantics for the pi-calculus
- Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
- Typed event structures and the linear \(\pi \)-calculus
This page was built for publication: Non-interleaving semantics for mobile processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1285660)
