Int. Workshop on Structures in Concurrency Theory (STRICT'95)

An Observational Semantics for Linda / De Nicola, Rocco; Pugliese, Rosario. - STAMPA. - (1995), pp. 129-143. (Intervento presentato al convegno Int. Workshop on Structures in Concurrency Theory (STRICT'95) tenutosi a Berlino) [10.1007/978-1-4471-3078-9_9].

An Observational Semantics for Linda

PUGLIESE, ROSARIO
1995

Abstract

Int. Workshop on Structures in Concurrency Theory (STRICT'95)
1995
Proc. of the Int. Workshop on Structures in Concurrency Theory (STRICT'95)
Int. Workshop on Structures in Concurrency Theory (STRICT'95)
Berlino
De Nicola, Rocco; Pugliese, Rosario
4a - Articolo in atti di congresso
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/240752
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 3
social impact