Fully Abstract Models for Nondeterministic Regular Expressions

Authors:
Flavio Corradini;Rocco De Nicola;Anna Labella
Affiliations:
-;-;-
Venue:
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Year:
1995

Citing 0
Cited 3

Graded Modalities and Resource Bisimulation

Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Observational trees as models for concurrency

Mathematical Structures in Computer Science
A menagerie of non-finitely based process semantics over BPA* - from ready simulation to completed traces

Mathematical Structures in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract