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. ( Mathematical Foundations of Programming Semantics Pittsburgh, PA, USA 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.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
