Author:
Pacini Giuliano,Turini Franco
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference19 articles.
1. Non-deterministic algorithms;Cohen;Comput. Surveys,1979
2. An overview of production systems;Davis,1976
3. Liveness properties as convergence in metric spaces;Degano,1984
4. Semantics of nondeterminism, concurrency and communication;Francez;J. Comput. System Sci.,1979