A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
CCS + time = an interleaving model for real time systems
Proceedings of the 18th international colloquium on Automata, languages and programming
A temporal calculus of communicating systems
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
Real-time behaviour of asynchronous agents
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
A calculus of mobile processes, II
Information and Computation
Theoretical Computer Science
The algebra of timed processes, ATP: theory and application
Information and Computation
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
A process algebra for timed systems
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Mobile Processes with Local Clocks
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
A new time extension to φ-calculus based on time consuming transition semantics
Languages for system specification
A Contract-Based Component Model for Embedded Systems
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
Modeling and Verifying Time Sensitive Security Protocols with Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal approaches to location management in mobile communications
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Theory and implementation of a real-time extension to the π-calculus
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
| Hi-index | 0.00 |
This paper introduces an algebra for modeling the real-time aspect of systems in a mobile environment. Our model makes use of many familiar concepts and properties from previous works on static, real-time process algebra, and incorporates these into Milner's dynamic π-calculus. The extended algebra allows both time values as well as names to be transmitted between processes, thereby allowing the modeling of, and reasoning about, dynamic temporal behaviour and dynamic configurations of systems. Further, conventional labeled transition system (LTS) semantics are found to be inadequately expressive for use with our algebra. We therefore propose a timed labeled transition system (TLTS) semantics. Finally, we illustrate the modeling power of our algebra with a comprehensive but simple example of a mobile streaming video player.