Mobile Processes with Local Clocks

Authors:
Pierpaolo Degano;Jean-Vincent Loddo;Corrado Priami
Affiliations:
-;-;-
Venue:
Selected papers from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages
Year:
1996

Citing 0
Cited 3

On modeling real-time mobile processes

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Efficiency of asynchronous systems, read arcs, and the MUTEX-problem

Theoretical Computer Science
Infinite computation, co-induction and computational logic

CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science

Quantified Score

Hi-index	0.01

Visualization

Abstract