Trace and testing equivalence on asynchronous processes
Information and Computation
Information flow vs. resource access in the asynchronous pi-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information Flow vs. Resource Access in the Asynchronous Pi-Calculus
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On Synchronous and Asynchronous Communication Paradigms
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
A Theory of "May" Testing for Asynchronous Languages
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Axiomatising Asynchronous Process Calculi (abstract)
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
Information and Computation
Basic observables for a calculus for global computing
Information and Computation
Separation of synchronous and asynchronous communication via testing
Theoretical Computer Science
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Contract-Directed Synthesis of Simple Orchestrators
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Contract Compliance and Choreography Conformance in the Presence of Message Queues
Web Services and Formal Methods
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Automated Software Testing of Asynchronous Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Contract-based discovery of Web services modulo simple orchestrators
Theoretical Computer Science
Full abstraction in a subtyped pi-calculus with linear types
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
A fresh look at testing for asynchronous communication
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
The complexity of asynchronous model based testing
Theoretical Computer Science
Compositional methods in characterization of timed event structures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Composition methods for constructing characteristic formulas for dense-time models
Programming and Computing Software
| Hi-index | 0.00 |