Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
ICSE '97 Proceedings of the 19th international conference on Software engineering
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
A practical approach to implementing real-time semantics
Annals of Software Engineering
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Distributed Prototyping from Validated Specifications
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
Two case studies of semantics execution in Maude: CCS and LOTOS
Formal Methods in System Design
SOS formats and meta-theory: 20 years after
Theoretical Computer Science
TAPAs: A Tool for the Analysis of Process Algebras
Transactions on Petri Nets and Other Models of Concurrency I
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Transforming SOS specifications to linear processes
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
An integrated framework for scenarios and state machines
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |