CPO Models for a Class of GSOS Languages

Authors:
Luca Aceto;Anna Ingólfsdóttir
Affiliations:
-;-
Venue:
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1995

Citing 0
Cited 3

The meaning of negative premises in transition system specifications

Journal of the ACM (JACM)
Process Languages for Rooted Eager Bisimulation

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Fully-Abstract Model for the p-calculus

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract