Type Directed Semantics for the Calculus of Looping Sequences

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	501-526
Journal	INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS
Volume	7
Publication status	Published - 1 Jan 2013

Cite this

@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 -