Bisimulation congruences in safe ambients
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Recursive equations in higher-order process calculi
Theoretical Computer Science
A Calculus of Mobile Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Communication Interference in Mobile Boxed Ambients
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
A calculus for concurrent system with higher-order streaming communication
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Information and Computation
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
Behavioral theory for mobile ambients
Journal of the ACM (JACM)
Communication and mobility control in boxed ambients
Information and Computation
A bisimulation-based semantic theory of Safe Ambients
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressive power of KLAIM-based calculi
Theoretical Computer Science - Expressiveness in concurrency
Space-aware ambients and processes
Theoretical Computer Science
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
Basic observables for a calculus for global computing
Information and Computation
Axiomatising a linear higher order π-calculus
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Comparing communication primitives via their relative expressive power
Information and Computation
Normal Bisimulations in Calculi with Passivation
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Howe's Method for Calculi with Passivation
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
A Reflective Higher-order Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Contextual Labelled Semantics for Higher-order Process Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Observational Theory of the CPS-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Communication and mobility control in boxed ambients
Information and Computation
Information and Computation
On the expressiveness of interaction
Theoretical Computer Science
Bisimulation proof methods for mobile ambients
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Bisimulations for a distributed higher order π-calculus
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A spatial logical characterisation of context bisimulation
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
A logic for distributed higher order π-calculus
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
Equivalence checking for a finite higher order π-calculus
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
Linear uniform receptiveness in a pi-calculus with location failures
CATS '10 Proceedings of the Sixteenth Symposium on Computing: the Australasian Theory - Volume 109
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Environmental bisimulations for higher-order languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressiveness and decidability of higher-order process calculi
Information and Computation
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Sound bisimulations for higher-order distributed process calculus
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
A testing theory for a higher-order cryptographic language
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Characterizing contextual equivalence in calculi with passivation
Information and Computation
On the relative expressive power of asynchronous communication primitives
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
More on bisimulations for higher order π-calculus
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
More on bisimulations for higher order π-calculus
Theoretical Computer Science
First-order reasoning for higher-order concurrency
Computer Languages, Systems and Structures
Names, Equations, Relations: Practical Ways to Reason about new
Fundamenta Informaticae
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |