Behavioral equivalence in the polymorphic pi-calculus
Journal of the ACM (JACM)
Bisimulations in the join-calculus
Theoretical Computer Science
On the Benefits of Using the Up-To Techniques for Bisimulation Verification
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Two Problems in Wide Area Network Programming
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Graphs for Core Molecular Biology
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
A model-checking verification environment for mobile processes
ACM Transactions on Software Engineering and Methodology (TOSEM)
A modeling framework for agile and interoperable virtual enterprises
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Coalgebraic minimization of HD-automata for the π-calculus using polymorphic types
Theoretical Computer Science - Formal methods for components and objects
Global computing in a dynamic network of tuple spaces
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
WS-CDL+ for web service collaboration
Information Systems Frontiers
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Modelling and Verifying Mobile Systems Using π -Graphs
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Minimization Algorithm for Symbolic Bisimilarity
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Algebra and logic for resource-based systems modelling
Mathematical Structures in Computer Science
Tool support for the rapid composition, analysis and implementation of reactive services
Journal of Systems and Software
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
A modeling framework for agile and interoperable virtual enterprises
Computers in Industry - Special issue: Advanced computer support of engineering and service processes of virtual enterprises
Relationally Staged Computations in Calculi of Mobile Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An Observational Model for Spatial Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalising the π-calculus using nominal logic
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
Encoding mobile ambients into the π-calculus
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A pi-calculus-based business process formal design method
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
A probabilistic applied pi-calculus
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Scalable formalization of publish/subscribe messaging scheme based on message brokers
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Translating Pi-calculus into LOTOS NT
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Mobility in computer science and in membrane systems
CMC'10 Proceedings of the 11th international conference on Membrane computing
Analysing the MUTE anonymous file-sharing system using the pi-calculus
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Formal approaches to location management in mobile communications
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Resource usage analysis for the π-calculus
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Global computing in a dynamic network of tuple spaces
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Modelling fusion calculus using HD-Automata
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Modeling service compatibility with pi-calculus for choreography
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Consistency checking of sequence diagrams and statechart diagrams using the π-calculus
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Formal specification and verification of vehicular handoff using π-calculus
Proceedings of the 1st International Conference on Wireless Technologies for Humanitarian Relief
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
OO-motivated process algebra: a calculus for CORBA-like systems
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Partition refinement for bisimilarity in CCP
Proceedings of the 27th Annual ACM Symposium on Applied Computing
SLMC: a tool for model checking concurrent systems against dynamical spatial logic specifications
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
Fundamenta Informaticae - Petri Nets 2008
A polynomial translation of π-calculus (FCP) to safe petri nets
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
PIC2LNT: model transformation for model checking an applied pi-calculus
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
| Hi-index | 0.00 |