Matches in SemOpenAlex for { <https://semopenalex.org/work/W1984882019> ?p ?o ?g. }
- W1984882019 endingPage "235" @default.
- W1984882019 startingPage "173" @default.
- W1984882019 abstract "Standard SOS formats are limited in their ability to define the operational semantics of process calculi with concurrency, causality, and mobility, and with bound names and name generation mechanisms. In this paper we describe a general approach, based on the tile model, to the definition of the operational semantics of process calculi. By providing tile systems for located CCS and asynchronous π -calculus we demonstrate that the proposed approach is more suited than SOS to provide a uniform treatment of concurrency and mobility within a compositional framework." @default.
- W1984882019 created "2016-06-24" @default.
- W1984882019 creator A5026348666 @default.
- W1984882019 creator A5061468940 @default.
- W1984882019 date "2000-01-01" @default.
- W1984882019 modified "2023-09-29" @default.
- W1984882019 title "Tile Formats for Located and Mobile Systems" @default.
- W1984882019 cites W1487583155 @default.
- W1984882019 cites W1499822017 @default.
- W1984882019 cites W1503973138 @default.
- W1984882019 cites W1513322016 @default.
- W1984882019 cites W1522782962 @default.
- W1984882019 cites W1542911159 @default.
- W1984882019 cites W1547752895 @default.
- W1984882019 cites W1556091851 @default.
- W1984882019 cites W1575387215 @default.
- W1984882019 cites W1578325940 @default.
- W1984882019 cites W1583842232 @default.
- W1984882019 cites W1586572263 @default.
- W1984882019 cites W1587299948 @default.
- W1984882019 cites W1591694044 @default.
- W1984882019 cites W1600993531 @default.
- W1984882019 cites W1601458080 @default.
- W1984882019 cites W1790031272 @default.
- W1984882019 cites W1804005701 @default.
- W1984882019 cites W1832683456 @default.
- W1984882019 cites W1909063750 @default.
- W1984882019 cites W1966112122 @default.
- W1984882019 cites W1967400027 @default.
- W1984882019 cites W1971715766 @default.
- W1984882019 cites W1976195354 @default.
- W1984882019 cites W1988204590 @default.
- W1984882019 cites W1997305605 @default.
- W1984882019 cites W1998827035 @default.
- W1984882019 cites W1999706742 @default.
- W1984882019 cites W2000539698 @default.
- W1984882019 cites W2021202226 @default.
- W1984882019 cites W2030888138 @default.
- W1984882019 cites W2031124364 @default.
- W1984882019 cites W2036271734 @default.
- W1984882019 cites W2041561080 @default.
- W1984882019 cites W2055502959 @default.
- W1984882019 cites W2070157304 @default.
- W1984882019 cites W2075347452 @default.
- W1984882019 cites W2095082129 @default.
- W1984882019 cites W2105135809 @default.
- W1984882019 cites W2107674601 @default.
- W1984882019 cites W2117297757 @default.
- W1984882019 cites W2128932399 @default.
- W1984882019 cites W2137739624 @default.
- W1984882019 cites W2146478966 @default.
- W1984882019 cites W2476379118 @default.
- W1984882019 cites W2614621775 @default.
- W1984882019 cites W2798613517 @default.
- W1984882019 cites W2913408576 @default.
- W1984882019 cites W2914851216 @default.
- W1984882019 cites W3133612873 @default.
- W1984882019 cites W196228514 @default.
- W1984882019 cites W3022181391 @default.
- W1984882019 doi "https://doi.org/10.1006/inco.1999.2825" @default.
- W1984882019 hasPublicationYear "2000" @default.
- W1984882019 type Work @default.
- W1984882019 sameAs 1984882019 @default.
- W1984882019 citedByCount "31" @default.
- W1984882019 countsByYear W19848820192012 @default.
- W1984882019 countsByYear W19848820192013 @default.
- W1984882019 countsByYear W19848820192014 @default.
- W1984882019 countsByYear W19848820192015 @default.
- W1984882019 countsByYear W19848820192017 @default.
- W1984882019 crossrefType "journal-article" @default.
- W1984882019 hasAuthorship W1984882019A5026348666 @default.
- W1984882019 hasAuthorship W1984882019A5061468940 @default.
- W1984882019 hasBestOaLocation W19848820191 @default.
- W1984882019 hasConcept C120314980 @default.
- W1984882019 hasConcept C135315306 @default.
- W1984882019 hasConcept C142362112 @default.
- W1984882019 hasConcept C151319957 @default.
- W1984882019 hasConcept C153349607 @default.
- W1984882019 hasConcept C156325763 @default.
- W1984882019 hasConcept C161771561 @default.
- W1984882019 hasConcept C184337299 @default.
- W1984882019 hasConcept C193702766 @default.
- W1984882019 hasConcept C199360897 @default.
- W1984882019 hasConcept C2780728851 @default.
- W1984882019 hasConcept C31258907 @default.
- W1984882019 hasConcept C41008148 @default.
- W1984882019 hasConcept C80444323 @default.
- W1984882019 hasConcept C98045186 @default.
- W1984882019 hasConceptScore W1984882019C120314980 @default.
- W1984882019 hasConceptScore W1984882019C135315306 @default.
- W1984882019 hasConceptScore W1984882019C142362112 @default.
- W1984882019 hasConceptScore W1984882019C151319957 @default.
- W1984882019 hasConceptScore W1984882019C153349607 @default.
- W1984882019 hasConceptScore W1984882019C156325763 @default.
- W1984882019 hasConceptScore W1984882019C161771561 @default.
- W1984882019 hasConceptScore W1984882019C184337299 @default.
- W1984882019 hasConceptScore W1984882019C193702766 @default.
- W1984882019 hasConceptScore W1984882019C199360897 @default.