http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#3
has-date: http://www.aktors.org/ontology/date#1993
has-title: SAFECOMP '93
type: Conference-Proceedings-Reference

inproceedings-BBS93b-SAFECOMP-35
has-author: person-17868d48
has-author: person-225919aa
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1993
has-page-numbers: 9--20
has-title: Data Flow Control Systems: an Example of Safety Validation
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#3
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#6
type: Proceedings-Paper-Reference

pub-ref-d968e79e
has-title: Journal of Computer Systems Science and Engineering
type: Publication-Reference

http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#2
has-date: http://www.aktors.org/ontology/date#1993
has-title: IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93)
type: Conference-Proceedings-Reference

http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#1
has-date: http://www.aktors.org/ontology/date#1993
has-title: Congresso annuale AICA '93
type: Conference-Proceedings-Reference

http://www.aktors.org/ontology/date#1993
has-pretty-name: 1993
year-of: 1993
type: Calendar-Date

inproceedings-BS93-ISADS-94
has-author: person-225919aa
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1993
has-page-numbers: 108--114
has-title: Functional Paradigm for Designing Dependable Large-Scale Parallel Computing Systems
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#2
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#5
type: Proceedings-Paper-Reference

person-17868d48
full-name: C Bernardeschi
type: Person

article-BDGX93-JCSSE-68
has-date: http://www.aktors.org/ontology/date#1993
has-author: person-8428c9cb
has-title: A Cost-Effective and Flexible Scheme for Software fault Tolerance
has-author: person-84ffb74a
has-number: 4
type: Article-Reference
has-page-numbers: 234--244
has-author: person-e06adc0a
has-volume: 8
article-of-journal: journals-d968e79e

http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#6
has-date: http://www.aktors.org/ontology/date#1993
has-title: SAFECOMP '93
type: Conference-Proceedings-Reference

person-225919aa
full-name: L Simoncini
type: Person

person-e06adc0a
full-name: F Di Giandomenico
type: Person

person-3e1c85eb
full-name: S Chiaradonna
type: Person

http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#5
has-date: http://www.aktors.org/ontology/date#1993
has-title: IEEE Int. Symposium on Autonomous Decentralized Systems (ISADS '93)
type: Conference-Proceedings-Reference

book-section-BBS93-PARLE-34
has-author: person-17868d48
has-author: person-225919aa
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1993
has-title: From Data Flow Networks to Process Algebras
published-by: publishers-fa3774d4
type: Book-Section-Reference

Publication export from University of Pisa
creator: Emiliano Giovannetti
creator: ReSIST Project
description: This ontology contains information detailing publications held by University of Pisa
created: 2006-10-25
type: Ontology
imports: extension
imports: portal

inproceedings-CB93-AICA-99
has-author: person-3e1c85eb
has-author: person-8428c9cb
has-date: http://www.aktors.org/ontology/date#1993
has-page-numbers: 1289--1303
has-title: Uno Schema Efficiente per la Tolleranza a Guasti Operazionali in Architetture Multiprocessore
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#1
paper-in-proceedings: http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#4
type: Proceedings-Paper-Reference

http://lodlaundromat.org/.well-known/genid/409a4bdc424ead0eabc9a6a742b80084#4
has-date: http://www.aktors.org/ontology/date#1993
has-title: Congresso annuale AICA '93
type: Conference-Proceedings-Reference

person-8428c9cb
full-name: A Bondavalli
type: Person

publishers-fa3774d4
has-title: Springer Verlag
type: Publishing-House

person-84ffb74a
full-name: J Xu
type: Person