Matches in SemOpenAlex for { <https://semopenalex.org/work/W1710734151> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1710734151 abstract "In [5, 8] a compositional, algebraic framework is provided in which shared memory systems can be specified and analyzed. The interferences in the use of the shared data are modelled, at the abstract level, by a conflict relation among the actions of the system. The semantic model of the process algebra language is defined in such a way that conflicting actions cannot be executed in parallel, whilst independent actions can. We show in the paper that conflict-based semantics do not allow for exploiting all the parallelism among the activities of a system. Actually, there are functionally equivalent programs (i.e. programs that compute the same final states of the activities and data) which perform conflicting actions in different order. In these situations, conflict-based semantics are not satisfactory, since they put useless sequential constraints on the executions. In this paper we define a concurrent semantics for the process algebra language in [5] which is in agreement with functional equivalence. We propose a model for the language which embeds both concurrent and functional aspects of programs, and takes into account two fundamental topics: the enhancement of the parallelism among the activities of the system, and the functional correctness of its computations. The formalism we use is that of Contextual Condition Event nets [12] (CC/E nets). By using CC/E nets we provide a faithful description of both the data and the activities of a shared memory system, in such a way that each process algebra term can be described by means of a set of net computations. The concurrent semantics of a term is then obtained by associating a structure called O-process [4] with each net computation. This semantics is in full agreement with functional equivalence, i.e. two process algebra terms compute the same final states of the activities and data if and only if they have the same concurrent semantics." @default.
- W1710734151 created "2016-06-24" @default.
- W1710734151 creator A5003816767 @default.
- W1710734151 creator A5061468940 @default.
- W1710734151 date "1997-01-01" @default.
- W1710734151 modified "2023-09-24" @default.
- W1710734151 title "A Concurrent Functional Semantics for a Process Algebra Based on Action Systems" @default.
- W1710734151 cites W1496148388 @default.
- W1710734151 cites W1545155892 @default.
- W1710734151 cites W1551769641 @default.
- W1710734151 cites W1967736886 @default.
- W1710734151 cites W2067686439 @default.
- W1710734151 cites W2113355185 @default.
- W1710734151 cites W2136133653 @default.
- W1710734151 cites W2146105886 @default.
- W1710734151 cites W2148722937 @default.
- W1710734151 cites W2913376619 @default.
- W1710734151 doi "https://doi.org/10.3233/fi-1997-313408" @default.
- W1710734151 hasPublicationYear "1997" @default.
- W1710734151 type Work @default.
- W1710734151 sameAs 1710734151 @default.
- W1710734151 citedByCount "1" @default.
- W1710734151 crossrefType "journal-article" @default.
- W1710734151 hasAuthorship W1710734151A5003816767 @default.
- W1710734151 hasAuthorship W1710734151A5061468940 @default.
- W1710734151 hasConcept C118615104 @default.
- W1710734151 hasConcept C150607116 @default.
- W1710734151 hasConcept C156325763 @default.
- W1710734151 hasConcept C161771561 @default.
- W1710734151 hasConcept C184337299 @default.
- W1710734151 hasConcept C193702766 @default.
- W1710734151 hasConcept C199360897 @default.
- W1710734151 hasConcept C207648694 @default.
- W1710734151 hasConcept C2780069185 @default.
- W1710734151 hasConcept C33923547 @default.
- W1710734151 hasConcept C41008148 @default.
- W1710734151 hasConcept C42383842 @default.
- W1710734151 hasConcept C55439883 @default.
- W1710734151 hasConcept C80444323 @default.
- W1710734151 hasConceptScore W1710734151C118615104 @default.
- W1710734151 hasConceptScore W1710734151C150607116 @default.
- W1710734151 hasConceptScore W1710734151C156325763 @default.
- W1710734151 hasConceptScore W1710734151C161771561 @default.
- W1710734151 hasConceptScore W1710734151C184337299 @default.
- W1710734151 hasConceptScore W1710734151C193702766 @default.
- W1710734151 hasConceptScore W1710734151C199360897 @default.
- W1710734151 hasConceptScore W1710734151C207648694 @default.
- W1710734151 hasConceptScore W1710734151C2780069185 @default.
- W1710734151 hasConceptScore W1710734151C33923547 @default.
- W1710734151 hasConceptScore W1710734151C41008148 @default.
- W1710734151 hasConceptScore W1710734151C42383842 @default.
- W1710734151 hasConceptScore W1710734151C55439883 @default.
- W1710734151 hasConceptScore W1710734151C80444323 @default.
- W1710734151 hasLocation W17107341511 @default.
- W1710734151 hasOpenAccess W1710734151 @default.
- W1710734151 hasPrimaryLocation W17107341511 @default.
- W1710734151 hasRelatedWork W141189550 @default.
- W1710734151 hasRelatedWork W1491754168 @default.
- W1710734151 hasRelatedWork W1510151966 @default.
- W1710734151 hasRelatedWork W1515657597 @default.
- W1710734151 hasRelatedWork W1517015850 @default.
- W1710734151 hasRelatedWork W1528430173 @default.
- W1710734151 hasRelatedWork W1556063903 @default.
- W1710734151 hasRelatedWork W1576754432 @default.
- W1710734151 hasRelatedWork W1604070809 @default.
- W1710734151 hasRelatedWork W1605849705 @default.
- W1710734151 hasRelatedWork W1813231382 @default.
- W1710734151 hasRelatedWork W1833097766 @default.
- W1710734151 hasRelatedWork W2088764183 @default.
- W1710734151 hasRelatedWork W2100170925 @default.
- W1710734151 hasRelatedWork W2152947535 @default.
- W1710734151 hasRelatedWork W2794377604 @default.
- W1710734151 hasRelatedWork W2809107414 @default.
- W1710734151 hasRelatedWork W3105028440 @default.
- W1710734151 hasRelatedWork W3190539376 @default.
- W1710734151 hasRelatedWork W66252900 @default.
- W1710734151 isParatext "false" @default.
- W1710734151 isRetracted "false" @default.
- W1710734151 magId "1710734151" @default.
- W1710734151 workType "article" @default.