Designing algorithms for distributed systems with partially synchronized clocks
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Refinement and state machine abstraction
Theoretical Computer Science
Reasoning About Places, Times, and Actions in the Presence of Mobility
IEEE Transactions on Software Engineering
Trade-off results for connection management
Theoretical Computer Science
Probabilistic simulations for probabilistic processes
Nordic Journal of Computing
Transformations of Self-Stabilizing Algorithms
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
A Single Complete Refinement Rule for Demonic Specifications
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Using mappings to prove timing properties
Distributed Computing
Modularity for teams of I/O automata
Information Processing Letters
Modelling angelic and demonic nondeterminism with multirelations
Science of Computer Programming
Transformations of self-stabilizing algorithms
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
Placement Inference for a Client-Server Calculus
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Using spreadsheets for finite state modelling
Proceedings of the 2nd India software engineering conference
Modularity for teams of I/O automata
Information Processing Letters
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Conditional automata: a tool for safe removal of negligible events
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Relaxing property preservation in the refinement of concurrent systems
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |