Bisimulation through probabilistic testing (preliminary report)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Theoretical Computer Science
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
Refusal Simulation and Interactive Games
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Congruent Weak Conformance, a Partial Order among Processes
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing Concurrent Systems: A Formal Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Precongruence Formats for Decorated Trace Preorders
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Precongruence formats for decorated trace semantics
ACM Transactions on Computational Logic (TOCL)
The Three Platonic Models of Divergence-Strict CSP
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
On Timed Models and Full Abstraction
Electronic Notes in Theoretical Computer Science (ENTCS)
Machine-Verifiable Responsiveness
Electronic Notes in Theoretical Computer Science (ENTCS)
On the axiomatizability of ready traces, ready simulation, and failure traces
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Model based testing with labelled transition systems
Formal methods and testing
Interaction semantics with refusals, divergence, and destruction
Programming and Computing Software
Testing of abstract components
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Models for contract conformance
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
On the expressiveness of refinement settings
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A formal account of contracts for web services
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Process algebra: a unifying approach
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A formal abstract framework for modelling and testing complex software systems
Theoretical Computer Science
Conformance relations for labeled event structures
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Rational Processes And Linear Systems In Gsp
Fundamenta Informaticae
Theories of Programming and Formal Methods
Hi-index | 5.23 |