Modal logic and process algebra a bisimulation perspective

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/836966635#Topic/kontextfreie_grammatik
http://experiment.worldcat.org/entity/work/data/836966635#Topic/linguaggi_formali
http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalitat_logica
http://experiment.worldcat.org/entity/work/data/836966635#Topic/modallogik
http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalidad_logica_congresos
http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesamiento_de_datos_congresos
http://experiment.worldcat.org/entity/work/data/836966635#Topic/elaborazione_parallela
http://id.loc.gov/authorities/subjects/sh85086410
http://experiment.worldcat.org/entity/work/data/836966635#Topic/formale_sprache
http://experiment.worldcat.org/entity/work/data/836966635#Topic/kongress
http://id.worldcat.org/fast/1052928
http://experiment.worldcat.org/entity/work/data/836966635#Topic/lenguajes_formales_congresos
http://id.worldcat.org/fast/1024350
http://id.loc.gov/authorities/subjects/sh2008104060
http://id.loc.gov/authorities/subjects/sh85050802
http://experiment.worldcat.org/entity/work/data/836966635#Topic/modale_logica
http://experiment.worldcat.org/entity/work/data/836966635#Topic/parallelverarbeitung
http://experiment.worldcat.org/entity/work/data/836966635#Topic/modalita_logica
http://id.worldcat.org/fast/932922
http://id.loc.gov/authorities/subjects/sh85097826
http://experiment.worldcat.org/entity/work/data/836966635#Topic/llenguatges_de_programacio
http://experiment.worldcat.org/entity/work/data/836966635#Topic/logique_symbolique_et_mathematique
http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesalgebra
http://experiment.worldcat.org/entity/work/data/836966635#Topic/logica_matematica
http://id.loc.gov/authorities/subjects/sh2008108874

http://schema.org/contributor

http://experiment.worldcat.org/entity/work/data/836966635#Meeting/three_days_of_bisimulation_04_1994_amsterdam
http://worldcat.org/entity/person/id/2630160346
http://worldcat.org/entity/person/id/2640620078
http://experiment.worldcat.org/entity/work/data/836966635#Organization/centrum_voor_wiskunde_en_informatica_amsterdam
http://id.loc.gov/authorities/names/n85313759
http://experiment.worldcat.org/entity/work/data/836966635#Meeting/workshop_three_days_of_bisimulation_1994_amsterdam_1994_04
http://viaf.org/viaf/142745266
http://worldcat.org/entity/person/id/2628880435
http://viaf.org/viaf/128663146

http://schema.org/editor

http://worldcat.org/entity/person/id/2628880435
http://worldcat.org/entity/person/id/2640620078
http://worldcat.org/entity/person/id/2630160346

http://schema.org/genre

"Electronic books"@en
"Kongreß"
"Congressen (vorm)"
"Conference papers and proceedings"@en
"Conference papers and proceedings"

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]"
"Modal logic and process algebra a bisimulation perspective"@en
"Modal logic and process algebra : a bisimulation perspective"
"Modal logic and process algebra : a bisimulation perspective"@en
"Modal Logic and Process Algebra : a Bisimulation Perspective"

http://schema.org/workExample

http://www.worldcat.org/oclc/782240059
http://www.worldcat.org/oclc/246863986
http://www.worldcat.org/oclc/892233686
http://www.worldcat.org/oclc/468386299
http://www.worldcat.org/oclc/797416612
http://www.worldcat.org/oclc/229906721
http://www.worldcat.org/oclc/32854847
http://www.worldcat.org/oclc/475763023
http://www.worldcat.org/oclc/889695032
http://www.worldcat.org/oclc/638898711
http://www.worldcat.org/oclc/844088657
http://www.worldcat.org/oclc/441841787

Three days of Bisimulation (04-1994 : Amsterdam)

This is a placeholder reference for a Meeting entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema:name
"Three days of Bisimulation (04-1994 : Amsterdam)"

http://experiment.worldcat.org/entity/work/data/836966635#Meeting/three_days_of_bisimulation_04_1994_amsterdam

Workshop "Three Days of Bisimulation" ((1994 : Amsterdam) (1994/04)

rdf:type
http://schema.org/Event
http://www.productontology.org/id/Meeting
schema: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

Centrum voor Wiskunde en Informatica (Amsterdam)

This is a placeholder reference for a Organization entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Organization
schema:name
"Centrum voor Wiskunde en Informatica (Amsterdam)"

http://experiment.worldcat.org/entity/work/data/836966635#Organization/centrum_voor_wiskunde_en_informatica_amsterdam

Elaborazione parallela.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Elaborazione parallela."