Conservative extension in structural operational semantics

Authors:
Luca Aceto;Wan Fokkink;Chris Verhoef
Affiliations:
-;-;-
Venue:
Current trends in theoretical computer science
Year:
2001

Citing 0
Cited 2

Transforming SOS specifications to linear processes

FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Probabilistic transition system specification: congruence and full abstraction of bisimulation

FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract