A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Simulations Up-to and Canonical Preorders
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
Modelling Divergence in Relational Concurrent Refinement
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
(Bi)simulations up-to characterise process semantics
Information and Computation
A coinductive calculus for asynchronous side-effecting processes
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
A test generation framework for quiescent real-time systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
A semantic framework for test coverage
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Evaluation technique in the spicalculus for cryptographic protocols
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Testing probabilistic equivalence through Reinforcement Learning
Information and Computation
A coinductive calculus for asynchronous side-effecting processes
Information and Computation
| Hi-index | 0.00 |