Not logged in : Login
(Sponging disallowed)

About: Verifying Asynchronous Interactions via Communicating Session Automata (PDF)     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : bibo:Document, within Data Space : demo.openlinksw.com associated with source document(s)

AttributesValues
type
label
  • Verifying Asynchronous Interactions via Communicating Session Automata (PDF)
http://eprints.org/ontology/hasFile
described by
Has Part
http://creativecommons.org/ns#license
is http://eprints.org/ontology/hasAccepted of
is http://eprints.org/ontology/hasDocument of
is http://eprints.org...dexCodesVersionOf of
is http://eprints.org/relation/isVersionOf of
is http://eprints.org...VolatileVersionOf of
is http://eprints.org...humbnailVersionOf of
is http://eprints.org...humbnailVersionOf of
is http://eprints.org...humbnailVersionOf of
is http://eprints.org...humbnailVersionOf of
is dc:hasVersion of
is topic of
Faceted Search & Find service v1.17_git144 as of Jul 26 2024


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 39 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software