Type Directed Semantics for the Calculus of Looping Sequences

Risultato della ricerca: Contributo su rivista › Articolo in rivista › peer review

Lingua originale	Inglese
pagine (da-a)	501-526
Rivista	INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS
Volume	7
Stato di pubblicazione	Pubblicato - 1 gen 2013

Altri file e collegamenti

@article{75aa995fd116484fb1e9d3189a413be7,

title = "Type Directed Semantics for the Calculus of Looping Sequences",

author = "L Bioglio and Dezani, \{Ciancaglini M\} and Paola GIANNINI and A. Troina",

year = "2013",

month = jan,

day = "1",

language = "English",

volume = "7",

pages = "501--526",

journal = "INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS",

issn = "1673-7288",

}

TY - JOUR

T1 - Type Directed Semantics for the Calculus of Looping Sequences

AU - Bioglio, L

AU - Dezani, Ciancaglini M

AU - GIANNINI, Paola

AU - Troina, A.

PY - 2013/1/1

Y1 - 2013/1/1

UR - https://iris.uniupo.it/handle/11579/26888

M3 - Article

SN - 1673-7288

VL - 7

SP - 501

EP - 526

JO - INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS

JF - INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS

ER -