Comparative metric semantics for concurrent Prolog

Authors:
J. W. de Bakker;J. N. Kok
Affiliations:
-;-
Venue:
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
Year:
1990

Continuations for parallel logic programming

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
An extension theorem with an application to formal tree series

Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement

Fundamenta Informaticae

Hi-index	0.00