Communicating sequential processes
Communicating sequential processes
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Using mappings to prove timing properties
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Temporal proof methodologies for real-time systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Qualitative modeling using the causality relation
Transactions of the Society for Computer Simulation International
On Communicating Finite-State Machines
Journal of the ACM (JACM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
L.0: A Language for Modeling and Prototyping Communications Software
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
The anchored version of the temporal framework
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
An axiomatic basis for general discrete-event modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Composing features and resolving interactions
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Hi-index | 0.00 |