A Timed Mobility Semantics Based on Rewriting Strategies

DOI10.1007/978-3-642-33826-7_10MaRDI QIDQ4899686zbMATHOpenAlexDBLPWikidataFDO

Authors Gabriel Ciobanu, Maciej Koutny, Jason Steggles

Publication date 8 January 2013

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://eprint.ncl.ac.uk/fulltext.aspx?url=186735/BE6E278E-6C98-441F-B7A8-C077A193A176.pdf&pub_id=186735

zbMATH Keywords

mobilitytimeprocess algebrastrategiesrewriting logic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1070625
• Timed rewriting logic with an application to object-based specification
• Timed mobility in process algebra and Petri nets
• Strategy based semantics for mobility with time and access permissions
• Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
• A semantics for timed MSC
• Towards a denotational semantics of timed RSL using duration calculus
• scientific article; zbMATH DE number 4033050
• Expressing and verifying temporal and structural properties of mobile agents
• On the semantics of polychronous polytimed specifications

Cited in

(2)

• Strategy based semantics for mobility with time and access permissions
• UTP semantics for rTiMo

This page was built for publication: A Timed Mobility Semantics Based on Rewriting Strategies

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