A theory of weak bisimulation for core CML
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Programming languages, analysis tools, and concurrency theory
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Recursive equations in higher-order process calculi
Theoretical Computer Science
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Bisimulation congruence of ℵ-calculus
Information and Computation
Theoretical Computer Science
A theory of weak bisimulation for Core CML
Journal of Functional Programming
SOS for higher order processes
CONCUR 2005 - Concurrency Theory
Theoretical Computer Science - Applied semantics: Selected topics
A coalgebraic approach to the semantics of the ambient calculus
Theoretical Computer Science - Algebra and coalgebra in computer science
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
On Well-Foundedness and Expressiveness of Promoted Tyft
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressivity of coalgebraic modal logic: The limits and beyond
Theoretical Computer Science
Expressing first-order π-calculus in higher-order calculus of communicating systems
Journal of Computer Science and Technology
A Reflective Higher-order Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Hierarchy of SOS Rule Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
On the expressiveness of interaction
Theoretical Computer Science
Coalgebraic modal logic in COCASL
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
The least fibred lifting and the expressivity of coalgebraic modal logic
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Theories of Programming and Formal Methods
| Hi-index | 0.01 |