Towards Performance Evaluation in Process Algebras

Authors:
Roberto Gorrieri;Marco Roccetti
Affiliations:
-;-
Venue:
AMAST '93 Proceedings of the Third International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Year:
1993

Citing 0
Cited 2

Enhanced operational semantics: a tool for describing and analyzing concurrent systems

ACM Computing Surveys (CSUR)
Entertainment technology transfer toward serious use

Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract