Types and Models for Higher-Order Action Calculi

Authors:
Philippa Gardner;Masahito Hasegawa
Affiliations:
-;-
Venue:
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Year:
1997

Citing 0
Cited 2

Comparing logics for rewriting: rewriting logic, action calculi and tile logic

Theoretical Computer Science - Rewriting logic and its applications
From Process Calculi to Process Frameworks

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract