Event Spaces and their Linear Logic

Authors:
Vaughan R. Pratt
Affiliations:
-
Venue:
AMAST '91 Proceedings of the Second International Conference on Methodology and Software Technology: Algebraic Methodology and Software Technology
Year:
1991

Citing 0
Cited 3

Linear logic

ACM SIGACT News
Higher dimensional automata revisited

Mathematical Structures in Computer Science
Linear process algebra

ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology

Quantified Score

Hi-index	0.00

Visualization

Abstract