The parallel composition of uniform processes with data
Theoretical Computer Science
Fundamenta Informaticae
Analysis of an Industrial System
Formal Methods in System Design
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Splitting bisimulations and retrospective conditions
Information and Computation
A function-equivalent components based simplification technique for PEPA models
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Strong splitting bisimulation equivalence
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Specification of rewriting strategies
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Fundamenta Informaticae
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
| Hi-index | 0.01 |