FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159800742> ?p ?o ?g. }

• W2159800742 abstract "This paper initiates the study of a process algebra based on atomic actions that are assigned resources, and that supports true concurrency. By true concurrency we mean that the parallel composition of concurrent processes does not rely on an interleaving of concurrent actions for its definition. Our process algebra includes a number of interesting operators that can be defined using resources of atomic actions to control their behaviour: of particular note is a (weak) sequential composition operator that exploits the truly concurrent nature of the semantics; this operator extends significantly the operation of prefixing by atomic actions that is supported in most truly concurrent semantics. Our language also includes a parallel composition operator that allows local events to execute asynchronously, while requiring synchronising events to execute simultaneously. In addition, the language supports a restriction operator and includes (unguarded) recursion.We present both a denotational semantics and a companion operational semantics for our language. The denotational semantics supports true concurrency, so that parallel composition is defined without non-determinism or interleaving. This semantics also is novel for its treatment of recursion. The meaning of a recursive process is defined using a least fixed point on a subdomain that is determined by the body of the recursion, and that varies from one process to another. Nonetheless, the recursion operators in the language have continuous interpretations in the denotational model. In fact, our denotational model is based on a domain-theoretic generalisation of Mazurkiewicz traces in which the concatenation operator, as well as the other operators from our language, can be given continuous interpretations.The operational model is presented in a natural SOS style. We prove a congruence theorem relating the two semantics, which implies the operational model itself is compositional. The congruence theorem also implies the denotational model is adequate with respect to the operational semantics, and we characterise the relatively mild conditions under which the denotational semantics is fully abstract with respect to the operational semantics." @default.
• W2159800742 created "2016-06-24" @default.
• W2159800742 creator A5064833291 @default.
• W2159800742 creator A5087271577 @default.
• W2159800742 date "2004-02-01" @default.
• W2159800742 modified "2023-10-01" @default.
• W2159800742 title "A simple process algebra based on atomic actions with resources" @default.
• W2159800742 cites W133701161 @default.
• W2159800742 cites W1539804543 @default.
• W2159800742 cites W1578801263 @default.
• W2159800742 cites W1583971359 @default.
• W2159800742 cites W1585042602 @default.
• W2159800742 cites W159994793 @default.
• W2159800742 cites W1989279866 @default.
• W2159800742 cites W1998563363 @default.
• W2159800742 cites W2001567495 @default.
• W2159800742 cites W2031124364 @default.
• W2159800742 cites W2072672662 @default.
• W2159800742 cites W2113355185 @default.
• W2159800742 cites W2118229393 @default.
• W2159800742 cites W2126016661 @default.
• W2159800742 cites W2128414689 @default.
• W2159800742 cites W2130056801 @default.
• W2159800742 cites W2150320481 @default.
• W2159800742 cites W2513431463 @default.
• W2159800742 cites W2912084748 @default.
• W2159800742 cites W2914421362 @default.
• W2159800742 cites W29785878 @default.
• W2159800742 cites W654554709 @default.
• W2159800742 doi "https://doi.org/10.1017/s0960129503003943" @default.
• W2159800742 hasPublicationYear "2004" @default.
• W2159800742 type Work @default.
• W2159800742 sameAs 2159800742 @default.
• W2159800742 citedByCount "7" @default.
• W2159800742 countsByYear W21598007422012 @default.
• W2159800742 crossrefType "journal-article" @default.
• W2159800742 hasAuthorship W2159800742A5064833291 @default.
• W2159800742 hasAuthorship W2159800742A5087271577 @default.
• W2159800742 hasConcept C118615104 @default.
• W2159800742 hasConcept C150607116 @default.
• W2159800742 hasConcept C156325763 @default.
• W2159800742 hasConcept C161771561 @default.
• W2159800742 hasConcept C168773036 @default.
• W2159800742 hasConcept C184337299 @default.
• W2159800742 hasConcept C193702766 @default.
• W2159800742 hasConcept C199360897 @default.
• W2159800742 hasConcept C207648694 @default.
• W2159800742 hasConcept C29585364 @default.
• W2159800742 hasConcept C33923547 @default.
• W2159800742 hasConcept C41008148 @default.
• W2159800742 hasConcept C80444323 @default.
• W2159800742 hasConcept C89448276 @default.
• W2159800742 hasConceptScore W2159800742C118615104 @default.
• W2159800742 hasConceptScore W2159800742C150607116 @default.
• W2159800742 hasConceptScore W2159800742C156325763 @default.
• W2159800742 hasConceptScore W2159800742C161771561 @default.
• W2159800742 hasConceptScore W2159800742C168773036 @default.
• W2159800742 hasConceptScore W2159800742C184337299 @default.
• W2159800742 hasConceptScore W2159800742C193702766 @default.
• W2159800742 hasConceptScore W2159800742C199360897 @default.
• W2159800742 hasConceptScore W2159800742C207648694 @default.
• W2159800742 hasConceptScore W2159800742C29585364 @default.
• W2159800742 hasConceptScore W2159800742C33923547 @default.
• W2159800742 hasConceptScore W2159800742C41008148 @default.
• W2159800742 hasConceptScore W2159800742C80444323 @default.
• W2159800742 hasConceptScore W2159800742C89448276 @default.
• W2159800742 hasLocation W21598007421 @default.
• W2159800742 hasOpenAccess W2159800742 @default.
• W2159800742 hasPrimaryLocation W21598007421 @default.
• W2159800742 hasRelatedWork W1503973138 @default.
• W2159800742 hasRelatedWork W1558234878 @default.
• W2159800742 hasRelatedWork W1582602188 @default.
• W2159800742 hasRelatedWork W1585954935 @default.
• W2159800742 hasRelatedWork W1965564224 @default.
• W2159800742 hasRelatedWork W1977486458 @default.
• W2159800742 hasRelatedWork W1988680012 @default.
• W2159800742 hasRelatedWork W2061743024 @default.
• W2159800742 hasRelatedWork W2134200739 @default.
• W2159800742 hasRelatedWork W2139842876 @default.
• W2159800742 hasRelatedWork W2148387264 @default.
• W2159800742 hasRelatedWork W2165981097 @default.
• W2159800742 hasRelatedWork W2169655078 @default.
• W2159800742 hasRelatedWork W2171592977 @default.
• W2159800742 hasRelatedWork W2604506208 @default.
• W2159800742 hasRelatedWork W2688977212 @default.
• W2159800742 hasRelatedWork W2739864986 @default.
• W2159800742 hasRelatedWork W2952451744 @default.
• W2159800742 hasRelatedWork W3157107 @default.
• W2159800742 hasRelatedWork W3109958542 @default.
• W2159800742 isParatext "false" @default.
• W2159800742 isRetracted "false" @default.
• W2159800742 magId "2159800742" @default.
• W2159800742 workType "article" @default.