Timed mobility in process algebra and Petri nets

DOI10.1016/J.JLAP.2011.05.002zbMATH Open1230.68154OpenAlexW2036541902WikidataQ57936767 ScholiaQ57936767MaRDI QIDQ638567FDOQ638567

Authors: Gabriel Ciobanu, Maciej Koutny 

Publication date: 12 September 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.05.002

Recommendations

• Strategy based semantics for mobility with time and access permissions
• Extending timed mobility with probabilities and real-time
• A Petri net semantics of a simple process algebra for mobility
• A probabilistic logic for pTiMo
• Timed processes of timed Petri nets

zbMATH Keywords

locationmigrationprocess algebraoperational semanticshigh-level timed Petri netslocal clocks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Distributed Pi-Calculus
• Absolute versus relative time in process algebras.
• Timing and causality in process algebra
• Petri net algebra
• Title not available (Why is that?)
• Mobile ambients
• CONCUR 2004 - Concurrency Theory
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• A Petri net semantics of a simple process algebra for mobility
• Mobile Ambients with Timers and Types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theoretical Aspects of Computing - ICTAC 2004
• A compositional Petri net translation of general \(\pi\)-calculus terms

Cited In (12)

• A Petri net semantics of a simple process algebra for mobility
• A UTP approach for rTiMo
• UTP semantics for rTiMo
• A Timed Mobility Semantics Based on Rewriting Strategies
• A probabilistic logic for pTiMo
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Strategy based semantics for mobility with time and access permissions
• Extending timed mobility with probabilities and real-time
• Dynamics of reputation in mobile agents systems and weighted timed automata
• Employing costs in multiagent systems with timed migration and timed communication
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Interaction in time and space

Uses Software

• M-nets

This page was built for publication: Timed mobility in process algebra and Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638567)