This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n9http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://localhost/temp/predkladatel/
n11http://purl.org/net/nknouf/ns/bibtex#
n12http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F02%3A00006591%21RIV08-MSM-14330___/
n20http://linked.opendata.cz/ontology/domain/vavai/
n18http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/
skoshttp://www.w3.org/2004/02/skos/core#
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n10http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F02%3A00006591%21RIV08-MSM-14330___
rdf:type
skos:Concept n20:Vysledek
dcterms:description
We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to the operational semantics and fully abstract as well. We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to the operational semantics and fully abstract as well. We propose a new semantics for Scc - to that end, an operational semantics reporting the steps of computation is introduced. A denotational semantics is then proposed and it is proved to be correct with respect to the operational semantics and fully abstract as well.
dcterms:title
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
skos:prefLabel
Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming Coordination by means of Synchronous and Asynchronous Communication in Concurrent constraint Programming
skos:notation
RIV/00216224:14330/02:00006591!RIV08-MSM-14330___
n5:strany
1
n5:aktivita
n6:Z n6:P
n5:aktivity
P(GA201/00/0400), Z(MSM 143300001)
n5:dodaniDat
n19:2008
n5:domaciTvurceVysledku
n16:6500773 n16:5598095
n5:druhVysledku
n14:D
n5:duvernostUdaju
n7:S
n5:entitaPredkladatele
n8:predkladatel
n5:idSjednocenehoVysledku
641769
n5:idVysledku
RIV/00216224:14330/02:00006591
n5:jazykVysledku
n13:eng
n5:klicovaSlova
coordination; concurrent constraint programming; semantics; communication
n5:klicoveSlovo
n10:semantics n10:coordination n10:communication n10:concurrent%20constraint%20programming
n5:kontrolniKodProRIV
[0F43C73B43C9]
n5:mistoKonaniAkce
August 2002, Brno
n5:mistoVydani
Amsterdam
n5:nazevZdroje
Foundations of Coordination Languages and Software Architecture (FOCLASA`02)
n5:obor
n17:JC
n5:pocetDomacichTvurcuVysledku
2
n5:pocetTvurcuVysledku
4
n5:projekt
n12:GA201%2F00%2F0400
n5:rokUplatneniVysledku
n19:2002
n5:tvurceVysledku
Křetínský, Mojmír Brim, Luboš Jacquet, Jean-Marie Gilbert, David
n5:typAkce
n9:WRD
n5:zahajeniAkce
2002-01-01+01:00
n5:zamer
n18:MSM%20143300001
s:numberOfPages
24
n11:hasPublisher
Namur University
n21:organizacniJednotka
14330