Facile: a symmetric integration of concurrent and functional programming
International Journal of Parallel Programming
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Selected papers of the Second Workshop on Concurrency and compositionality
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Universal axioms for bisimulations
Selected papers of the 3rd workshop on Concurrency and compositionality
A calculus of mobile processes, II
Information and Computation
An Efficient Verifier of Truly Concurrent Properties
PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies
Mobile Processes with a Distributed Environment
ICALP '96 Proceedings of the 23rd International Colloquium on Automata, Languages and Programming
Causality for Mobile Processes
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Operational methods in theoretical computer science
ACM Computing Surveys (CSUR)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Language-based performance prediction for distributed and mobile systems
Information and Computation
A causal semantics for CCS via rewriting logic
Theoretical Computer Science
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
The Varieties of Programming Language Semantics
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Cells in silico: a holistic approach
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Feedbacks and oscillations in the virtual cell VICE
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
Hi-index | 0.00 |