<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/782240059> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/246863986> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/name> "Modal logic and process algebra : a bisimulation perspective ; [papers presented at a Workshop Called Three Days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam]" .
<http://worldcat.org/entity/work/id/836966635> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/892233686> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/836966635#Meeting/three_days_of_bisimulation_04_1994_amsterdam> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/kontextfreie_grammatik> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/linguaggi_formali> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalitat_logica> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/name> "Modal logic and process algebra a bisimulation perspective"@en .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modallogik> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630160346> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468386299> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2640620078> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/797416612> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalidad_logica_congresos> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesamiento_de_datos_congresos> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/name> "Modal logic and process algebra : a bisimulation perspective" .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/name> "Modal logic and process algebra : a bisimulation perspective"@en .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/229906721> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/elaborazione_parallela> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/genre> "Electronic books"@en .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/32854847> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/836966635#Organization/centrum_voor_wiskunde_en_informatica_amsterdam> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85086410> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/475763023> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/name> "Modal Logic and Process Algebra : a Bisimulation Perspective" .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n85313759> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2628880435> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/formale_sprache> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/kongress> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/genre> "Kongreß" .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.worldcat.org/fast/1052928> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/lenguajes_formales_congresos> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.worldcat.org/fast/1024350> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/889695032> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008104060> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/836966635#Meeting/workshop_three_days_of_bisimulation_1994_amsterdam_1994_04> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85050802> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/638898711> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://viaf.org/viaf/142745266> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2640620078> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modale_logica> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/parallelverarbeitung> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/844088657> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalita_logica> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.worldcat.org/fast/932922> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2630160346> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628880435> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85097826> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/workExample> <http://www.worldcat.org/oclc/441841787> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/llenguatges_de_programacio> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/logique_symbolique_et_mathematique> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesalgebra> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/836966635#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/genre> "Conference papers and proceedings" .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/genre> "Congressen (vorm)" .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh2008108874> .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/genre> "Conference papers and proceedings"@en .
<http://worldcat.org/entity/work/id/836966635> <http://schema.org/contributor> <http://viaf.org/viaf/128663146> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalitat_logica> <http://schema.org/name> "Modalitat (Lògica)" .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalitat_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modale_logica> <http://schema.org/name> "Modale logica." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modale_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/elaborazione_parallela> <http://schema.org/name> "Elaborazione parallela." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/elaborazione_parallela> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/linguaggi_formali> <http://schema.org/name> "Linguaggi formali." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/linguaggi_formali> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesamiento_de_datos_congresos> <http://schema.org/name> "Procesamiento de datos Congresos." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesamiento_de_datos_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/kontextfreie_grammatik> <http://schema.org/name> "Kontextfreie Grammatik." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/kontextfreie_grammatik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesalgebra> <http://schema.org/name> "Procesalgebra." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesalgebra> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/llenguatges_de_programacio> <http://schema.org/name> "Llenguatges de programació." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/llenguatges_de_programacio> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/logica_matematica> <http://schema.org/name> "Logica matematica." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/parallelverarbeitung> <http://schema.org/name> "Parallelverarbeitung" .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/parallelverarbeitung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/parallelverarbeitung> <http://schema.org/name> "Parallelverarbeitung." .
<http://experiment.worldcat.org/entity/work/data/836966635#Organization/centrum_voor_wiskunde_en_informatica_amsterdam> <http://schema.org/name> "Centrum voor Wiskunde en Informatica (Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/836966635#Organization/centrum_voor_wiskunde_en_informatica_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Organization> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modallogik> <http://schema.org/name> "Modallogik" .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modallogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modallogik> <http://schema.org/name> "Modallogik." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalita_logica> <http://schema.org/name> "Modalità (Logica)" .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalita_logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalidad_logica_congresos> <http://schema.org/name> "Modalidad (Lógica) Congresos." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalidad_logica_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/lenguajes_formales_congresos> <http://schema.org/name> "Lenguajes formales Congresos." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/lenguajes_formales_congresos> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/kongress> <http://schema.org/name> "Kongress" .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/kongress> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Meeting/workshop_three_days_of_bisimulation_1994_amsterdam_1994_04> <http://schema.org/name> "Workshop \"Three Days of Bisimulation\" ((1994 : Amsterdam) (1994/04)" .
<http://experiment.worldcat.org/entity/work/data/836966635#Meeting/workshop_three_days_of_bisimulation_1994_amsterdam_1994_04> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/836966635#Meeting/workshop_three_days_of_bisimulation_1994_amsterdam_1994_04> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/logique_symbolique_et_mathematique> <http://schema.org/name> "Logique symbolique et mathématique." .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/logique_symbolique_et_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/formale_sprache> <http://schema.org/name> "Formale Sprache" .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/formale_sprache> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/836966635#Topic/formale_sprache> <http://schema.org/name> "Formale Sprache." .
<http://experiment.worldcat.org/entity/work/data/836966635#Meeting/three_days_of_bisimulation_04_1994_amsterdam> <http://schema.org/name> "Three days of Bisimulation (04-1994 : Amsterdam)" .
<http://experiment.worldcat.org/entity/work/data/836966635#Meeting/three_days_of_bisimulation_04_1994_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/836966635#Meeting/three_days_of_bisimulation_04_1994_amsterdam> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/836966635.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/836966635.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/836966635> .