Continuous time agents are studied in an enriched categorical framework that allows for a comprehensive treatment of both the interleaving and the true concurrent paradigms in parallelism. The starting point is a paper by Cardelli, where actions have a duration in a (dense) time domain. More recent works are also briefly considered and some possible directions towards timed ldquotrue concurrentrdquo processes are indicated.
On continuous time agents / S., Kasangian; Labella, Anna. - STAMPA. - 598:(1992), pp. 403-425. (Intervento presentato al convegno Mathematical Foundations of Programming Semantics tenutosi a Pittsburgh, PA, USA nel 1991) [10.1007/3-540-55511-0_20].
On continuous time agents
LABELLA, Anna
1992
Abstract
Continuous time agents are studied in an enriched categorical framework that allows for a comprehensive treatment of both the interleaving and the true concurrent paradigms in parallelism. The starting point is a paper by Cardelli, where actions have a duration in a (dense) time domain. More recent works are also briefly considered and some possible directions towards timed ldquotrue concurrentrdquo processes are indicated.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.