A process specification formalism based on static COLD

Authors:
J. C. M. Baeten;J. A. Bergstra;S. Mauw;G. L. Veltink
Affiliations:
-;-;-;-
Venue:
Algebraic methods II
Year:
1991

Citing 0
Cited 3

Splitting bisimulations and retrospective conditions

Information and Computation
PSF - A Retrospective

Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Strong splitting bisimulation equivalence

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Quantified Score

Hi-index	0.02

Visualization

Abstract