CIRCAL and the representation of communication, concurrency, and time
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
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
Converging towards a timed LOTOS standard
Computer Standards & Interfaces
The algebra of timed processes, ATP: theory and application
Information and Computation
Theories and experiences for real-time system development
A timed Full LOTOS with time/action tree semantics
Theories and experiences for real-time system development
Theories and experiences for real-time system development
A process algebra for timed systems
Information and Computation
About time nondeterminism and exception handling in a temporal extension of LOTOS
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
An introduction to ET-LOTOS for the description of time-sensitive systems
Computer Networks and ISDN Systems
Specification and verification of real time systems in ACP
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
Verifying ET-LOTOS programmes with KRONOS
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
A Timed Automaton Model for ET-LOTOS Verification
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
| Hi-index | 0.00 |