A practical approach to implementing real-time semantics
Annals of Software Engineering
Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Proving Correctness of Timed Concurrent Constraint Programs
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
The Compositional Specification of Timed Systems - A Tutorial
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Design for Timing Predictability
Real-Time Systems
Analysis of the SET e-commerce protocol using a true concurrency process algebra
Proceedings of the 2006 ACM symposium on Applied computing
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementation relations for stochastic finite state machines
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Model checking timed automata with priorities using DBM subtraction
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Embedded Systems Design
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
| Hi-index | 5.23 |