Modal Characterization of Weak Bisimulation for Higher-order Processes (Extended Abstract)

Authors:
Michael Baldamus;Jürgen Dingel
Affiliations:
-;-
Venue:
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1997

Citing 0
Cited 3

A calculus for concurrent system with higher-order streaming communication

Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
A logic for distributed higher order π-calculus

TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
First-order reasoning for higher-order concurrency

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract