[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/ijsi/BioglioDGT13>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Angelo_Troina>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Livio_Bioglio>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Mariangiola_Dezani-Ciancaglini>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Paola_Giannini>
foaf:homepage <http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i172>
dc:identifier DBLP journals/ijsi/BioglioDGT13 (xsd:string)
dcterms:issued 2013 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/ijsi>
rdfs:label Type Directed Semantics for the Calculus of Looping Sequences. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Angelo_Troina>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Livio_Bioglio>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Mariangiola_Dezani-Ciancaglini>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Paola_Giannini>
swrc:number 4 (xsd:string)
swrc:pages 501-526 (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/ijsi/BioglioDGT13/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/ijsi/BioglioDGT13>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/ijsi/ijsi7.html#BioglioDGT13>
rdfs:seeAlso <http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i172>
dc:title Type Directed Semantics for the Calculus of Looping Sequences. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 7 (xsd:string)