A Timed Mobility Semantics Based on Rewriting Strategies
DOI10.1007/978-3-642-33826-7_10zbMATH Open1315.68191DBLPconf/sefm/CiobanuKS12OpenAlexW137260420WikidataQ57936624 ScholiaQ57936624MaRDI QIDQ4899686FDOQ4899686
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
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
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)
Cited In (2)
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)
