<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/392> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/BookSection> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/dc/terms/title> "Models and Operators for Nondeterministic Processes"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/dc/terms/date> "1984" .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/ontology/bibo/volume> "176" .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/dc/terms/publisher> <http://eprints.imtlucca.it/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/peerReviewed> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/dc/terms/creator> <http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/ontology/bibo/authorList> <http://eprints.imtlucca.it/id/eprint/392#authors> .
<http://eprints.imtlucca.it/id/eprint/392#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.loc.gov/loc.terms/relators/EDT> <http://eprints.imtlucca.it/id/person/ext-9e0d95e0e5181a65575c8ebb8e8f9bef> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/ontology/bibo/editorList> <http://eprints.imtlucca.it/id/eprint/392#editors> .
<http://eprints.imtlucca.it/id/eprint/392#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://eprints.imtlucca.it/id/person/ext-9e0d95e0e5181a65575c8ebb8e8f9bef> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.loc.gov/loc.terms/relators/EDT> <http://eprints.imtlucca.it/id/person/ext-99bc5e4e293d6d71ea69e6bb9cbaa725> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/ontology/bibo/editorList> <http://eprints.imtlucca.it/id/eprint/392#editors> .
<http://eprints.imtlucca.it/id/eprint/392#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://eprints.imtlucca.it/id/person/ext-99bc5e4e293d6d71ea69e6bb9cbaa725> .
<http://eprints.imtlucca.it/id/person/ext-9e0d95e0e5181a65575c8ebb8e8f9bef> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-9e0d95e0e5181a65575c8ebb8e8f9bef> <http://xmlns.com/foaf/0.1/givenName> "Michal"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-9e0d95e0e5181a65575c8ebb8e8f9bef> <http://xmlns.com/foaf/0.1/familyName> "Chytil"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-9e0d95e0e5181a65575c8ebb8e8f9bef> <http://xmlns.com/foaf/0.1/name> "Michal Chytil"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-99bc5e4e293d6d71ea69e6bb9cbaa725> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-99bc5e4e293d6d71ea69e6bb9cbaa725> <http://xmlns.com/foaf/0.1/givenName> "Vaclav"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-99bc5e4e293d6d71ea69e6bb9cbaa725> <http://xmlns.com/foaf/0.1/familyName> "Koubek"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-99bc5e4e293d6d71ea69e6bb9cbaa725> <http://xmlns.com/foaf/0.1/name> "Vaclav Koubek"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://xmlns.com/foaf/0.1/givenName> "Rocco"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://xmlns.com/foaf/0.1/familyName> "De Nicola"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/person/ext-r.denicola@imtlucca.it> <http://xmlns.com/foaf/0.1/name> "Rocco De Nicola"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/BookSectionEPrint> .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/dc/terms/isPartOf> <http://eprints.imtlucca.it/id/repository> .
<http://eprints.imtlucca.it/id/eprint/392> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://eprints.imtlucca.it/392/> .
<http://eprints.imtlucca.it/392/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #392 \n\nModels and Operators for Nondeterministic Processes\n\n" .
<http://eprints.imtlucca.it/392/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://eprints.imtlucca.it/392/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://eprints.imtlucca.it/id/eprint/392> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://eprints.imtlucca.it/id/subject/QA75> <http://www.w3.org/2004/02/skos/core#prefLabel> "QA75 Electronic computers. Computer science"@en .
<http://eprints.imtlucca.it/id/eprint/392> <http://purl.org/dc/terms/subject> <http://eprints.imtlucca.it/id/subject/QA75> .