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.
1992
Mathematical Foundations of Programming Semantics
continuous time processes; categorical model
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
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].
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/192905
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact