A Concurrent Pattern Calculus / T., Given Wilson; Gorla, Daniele; B., Jay. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - ELETTRONICO. - 10(3):(2014), pp. 1-46. [10.2168/lmcs-10(3:10)2014]

A Concurrent Pattern Calculus

GORLA, DANIELE;
2014

2014
01 Pubblicazione su rivista::01a Articolo in rivista
A Concurrent Pattern Calculus / T., Given Wilson; Gorla, Daniele; B., Jay. - In: LOGICAL METHODS IN COMPUTER SCIENCE. - ISSN 1860-5974. - ELETTRONICO. - 10(3):(2014), pp. 1-46. [10.2168/lmcs-10(3:10)2014]
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/559899
 Attenzione

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

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