Matches in SemOpenAlex for { <https://semopenalex.org/work/W2121468831> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2121468831 abstract "Provides a unified framework for the specification of communication protocols. This framework enables one to integrate different formalisms within algebraic specifications, permitting the description of the dynamic aspects of distributed systems, such as temporal logic, Petri nets and process algebra. These integrations provide different languages, allowing specifications which may include both the data aspects and the behavioral aspects of protocols. In addition, this paper gives a unified semantics for the different languages based on algebra and event structures. Finally, we illustrate our framework by specifying the Alternating Bit Protocol using the different behavioral formalisms." @default.
- W2121468831 created "2016-06-24" @default.
- W2121468831 creator A5047871549 @default.
- W2121468831 date "2002-11-07" @default.
- W2121468831 modified "2023-09-25" @default.
- W2121468831 title "A unified algebraic framework for specifying communication protocols" @default.
- W2121468831 cites W1491593738 @default.
- W2121468831 cites W1503535982 @default.
- W2121468831 cites W1550186809 @default.
- W2121468831 cites W1566719841 @default.
- W2121468831 cites W1603788080 @default.
- W2121468831 cites W191497389 @default.
- W2121468831 cites W195511131 @default.
- W2121468831 cites W1968025047 @default.
- W2121468831 cites W1978358700 @default.
- W2121468831 cites W2020087107 @default.
- W2121468831 cites W2030263557 @default.
- W2121468831 cites W2086070079 @default.
- W2121468831 cites W2099374974 @default.
- W2121468831 cites W2107725559 @default.
- W2121468831 cites W2112494651 @default.
- W2121468831 cites W2138549619 @default.
- W2121468831 cites W2151612633 @default.
- W2121468831 cites W2153339829 @default.
- W2121468831 cites W23052190 @default.
- W2121468831 cites W2689170061 @default.
- W2121468831 cites W2914821813 @default.
- W2121468831 cites W3144368627 @default.
- W2121468831 doi "https://doi.org/10.1109/icfem.2000.873805" @default.
- W2121468831 hasPublicationYear "2002" @default.
- W2121468831 type Work @default.
- W2121468831 sameAs 2121468831 @default.
- W2121468831 citedByCount "2" @default.
- W2121468831 crossrefType "proceedings-article" @default.
- W2121468831 hasAuthorship W2121468831A5047871549 @default.
- W2121468831 hasConcept C134306372 @default.
- W2121468831 hasConcept C142724271 @default.
- W2121468831 hasConcept C161771561 @default.
- W2121468831 hasConcept C171018156 @default.
- W2121468831 hasConcept C184337299 @default.
- W2121468831 hasConcept C199360897 @default.
- W2121468831 hasConcept C201677973 @default.
- W2121468831 hasConcept C204787440 @default.
- W2121468831 hasConcept C25016198 @default.
- W2121468831 hasConcept C2524010 @default.
- W2121468831 hasConcept C2777691520 @default.
- W2121468831 hasConcept C2780385302 @default.
- W2121468831 hasConcept C33923547 @default.
- W2121468831 hasConcept C38677869 @default.
- W2121468831 hasConcept C41008148 @default.
- W2121468831 hasConcept C71924100 @default.
- W2121468831 hasConcept C80444323 @default.
- W2121468831 hasConcept C9376300 @default.
- W2121468831 hasConcept C98045186 @default.
- W2121468831 hasConceptScore W2121468831C134306372 @default.
- W2121468831 hasConceptScore W2121468831C142724271 @default.
- W2121468831 hasConceptScore W2121468831C161771561 @default.
- W2121468831 hasConceptScore W2121468831C171018156 @default.
- W2121468831 hasConceptScore W2121468831C184337299 @default.
- W2121468831 hasConceptScore W2121468831C199360897 @default.
- W2121468831 hasConceptScore W2121468831C201677973 @default.
- W2121468831 hasConceptScore W2121468831C204787440 @default.
- W2121468831 hasConceptScore W2121468831C25016198 @default.
- W2121468831 hasConceptScore W2121468831C2524010 @default.
- W2121468831 hasConceptScore W2121468831C2777691520 @default.
- W2121468831 hasConceptScore W2121468831C2780385302 @default.
- W2121468831 hasConceptScore W2121468831C33923547 @default.
- W2121468831 hasConceptScore W2121468831C38677869 @default.
- W2121468831 hasConceptScore W2121468831C41008148 @default.
- W2121468831 hasConceptScore W2121468831C71924100 @default.
- W2121468831 hasConceptScore W2121468831C80444323 @default.
- W2121468831 hasConceptScore W2121468831C9376300 @default.
- W2121468831 hasConceptScore W2121468831C98045186 @default.
- W2121468831 hasLocation W21214688311 @default.
- W2121468831 hasOpenAccess W2121468831 @default.
- W2121468831 hasPrimaryLocation W21214688311 @default.
- W2121468831 hasRelatedWork W122153333 @default.
- W2121468831 hasRelatedWork W127914462 @default.
- W2121468831 hasRelatedWork W1493157339 @default.
- W2121468831 hasRelatedWork W175910460 @default.
- W2121468831 hasRelatedWork W1759641093 @default.
- W2121468831 hasRelatedWork W1782011479 @default.
- W2121468831 hasRelatedWork W1974242432 @default.
- W2121468831 hasRelatedWork W1988608457 @default.
- W2121468831 hasRelatedWork W2003037987 @default.
- W2121468831 hasRelatedWork W2023928171 @default.
- W2121468831 hasRelatedWork W2105429231 @default.
- W2121468831 hasRelatedWork W2117754596 @default.
- W2121468831 hasRelatedWork W2144545266 @default.
- W2121468831 hasRelatedWork W2242071628 @default.
- W2121468831 hasRelatedWork W2346658183 @default.
- W2121468831 hasRelatedWork W2546793904 @default.
- W2121468831 hasRelatedWork W2625750970 @default.
- W2121468831 hasRelatedWork W45922455 @default.
- W2121468831 hasRelatedWork W90743561 @default.
- W2121468831 hasRelatedWork W1901645307 @default.
- W2121468831 isParatext "false" @default.
- W2121468831 isRetracted "false" @default.
- W2121468831 magId "2121468831" @default.
- W2121468831 workType "article" @default.