Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156670096> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2156670096 endingPage "211" @default.
- W2156670096 startingPage "183" @default.
- W2156670096 abstract "We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap. 4] to spatially located actions. This process algebra makes it possible to deal with the behaviour of systems with a known time-dependent spatial distribution, such as protocols transmitting data via a mobile intermediate station. It is a reformulation of the real space process algebra from Baeten and Bergstra [Formal Aspects of Computing, 5, 1993, 481-529] in a setting with urgent actions. This leads to many simplifications." @default.
- W2156670096 created "2016-06-24" @default.
- W2156670096 creator A5000183100 @default.
- W2156670096 creator A5032380170 @default.
- W2156670096 date "2003-12-01" @default.
- W2156670096 modified "2023-09-27" @default.
- W2156670096 title "Located Actions in Process Algebra with Timing" @default.
- W2156670096 cites W138317454 @default.
- W2156670096 cites W1509985362 @default.
- W2156670096 cites W1514211561 @default.
- W2156670096 cites W1515681827 @default.
- W2156670096 cites W1521107250 @default.
- W2156670096 cites W1550638834 @default.
- W2156670096 cites W1559986400 @default.
- W2156670096 cites W1566733033 @default.
- W2156670096 cites W1573492908 @default.
- W2156670096 cites W1596400039 @default.
- W2156670096 cites W1972478730 @default.
- W2156670096 cites W2001026449 @default.
- W2156670096 cites W2088903792 @default.
- W2156670096 cites W2089546907 @default.
- W2156670096 cites W2123833239 @default.
- W2156670096 cites W2130901629 @default.
- W2156670096 cites W2133679082 @default.
- W2156670096 cites W2138549619 @default.
- W2156670096 cites W2169983600 @default.
- W2156670096 cites W2171004374 @default.
- W2156670096 cites W2340102009 @default.
- W2156670096 cites W2551803530 @default.
- W2156670096 cites W3021003119 @default.
- W2156670096 cites W3820865 @default.
- W2156670096 doi "https://doi.org/10.5555/1031956.1031957" @default.
- W2156670096 hasPublicationYear "2003" @default.
- W2156670096 type Work @default.
- W2156670096 sameAs 2156670096 @default.
- W2156670096 citedByCount "0" @default.
- W2156670096 crossrefType "journal-article" @default.
- W2156670096 hasAuthorship W2156670096A5000183100 @default.
- W2156670096 hasAuthorship W2156670096A5032380170 @default.
- W2156670096 hasConcept C136119220 @default.
- W2156670096 hasConcept C14394260 @default.
- W2156670096 hasConcept C161771561 @default.
- W2156670096 hasConcept C170517529 @default.
- W2156670096 hasConcept C199360897 @default.
- W2156670096 hasConcept C202444582 @default.
- W2156670096 hasConcept C207764348 @default.
- W2156670096 hasConcept C33923547 @default.
- W2156670096 hasConcept C41008148 @default.
- W2156670096 hasConcept C80444323 @default.
- W2156670096 hasConcept C98045186 @default.
- W2156670096 hasConceptScore W2156670096C136119220 @default.
- W2156670096 hasConceptScore W2156670096C14394260 @default.
- W2156670096 hasConceptScore W2156670096C161771561 @default.
- W2156670096 hasConceptScore W2156670096C170517529 @default.
- W2156670096 hasConceptScore W2156670096C199360897 @default.
- W2156670096 hasConceptScore W2156670096C202444582 @default.
- W2156670096 hasConceptScore W2156670096C207764348 @default.
- W2156670096 hasConceptScore W2156670096C33923547 @default.
- W2156670096 hasConceptScore W2156670096C41008148 @default.
- W2156670096 hasConceptScore W2156670096C80444323 @default.
- W2156670096 hasConceptScore W2156670096C98045186 @default.
- W2156670096 hasIssue "3" @default.
- W2156670096 hasLocation W21566700961 @default.
- W2156670096 hasOpenAccess W2156670096 @default.
- W2156670096 hasPrimaryLocation W21566700961 @default.
- W2156670096 hasRelatedWork W134545472 @default.
- W2156670096 hasRelatedWork W1497210642 @default.
- W2156670096 hasRelatedWork W1546061844 @default.
- W2156670096 hasRelatedWork W1558437246 @default.
- W2156670096 hasRelatedWork W1575288406 @default.
- W2156670096 hasRelatedWork W1588348445 @default.
- W2156670096 hasRelatedWork W1605755740 @default.
- W2156670096 hasRelatedWork W167274913 @default.
- W2156670096 hasRelatedWork W1983313019 @default.
- W2156670096 hasRelatedWork W1998717618 @default.
- W2156670096 hasRelatedWork W2089501676 @default.
- W2156670096 hasRelatedWork W2189891361 @default.
- W2156670096 hasRelatedWork W2292714103 @default.
- W2156670096 hasRelatedWork W2481194739 @default.
- W2156670096 hasRelatedWork W2488774889 @default.
- W2156670096 hasRelatedWork W2569163292 @default.
- W2156670096 hasRelatedWork W2620523253 @default.
- W2156670096 hasRelatedWork W2762691778 @default.
- W2156670096 hasRelatedWork W2912904668 @default.
- W2156670096 hasRelatedWork W67721459 @default.
- W2156670096 hasVolume "61" @default.
- W2156670096 isParatext "false" @default.
- W2156670096 isRetracted "false" @default.
- W2156670096 magId "2156670096" @default.
- W2156670096 workType "article" @default.