Matches in SemOpenAlex for { <https://semopenalex.org/work/W2945666908> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2945666908 abstract "The Petri Box Calculus (PBC) consists of an algebra of box expressions, and a corresponding algebra of boxes (a class of labelled Petri nets). A compositional semantics provides a translation from box expressions to boxes. There are several alternative ways of defining an equivalence notion for boxes, the strongest one being net isomorphism. In this paper we consider slightly weaker notion of equivalence, called duplication equivalence, which still can be argued to capture a very close structural similarity of concurrent systems represented by boxes. We transfer the notion of duplication equivalence to the domain of box expressions and investigate the relationship between duplication equivalent boxes and box expressions. The main result of this investigation is a sound and complete axiomatisation of duplication equivalence for a fragment of recursion-free PBC." @default.
- W2945666908 created "2019-05-29" @default.
- W2945666908 creator A5003321982 @default.
- W2945666908 creator A5042490356 @default.
- W2945666908 date "1997-01-01" @default.
- W2945666908 modified "2023-09-26" @default.
- W2945666908 title "An Axiomatisation of Duplication Equivalence in the Petri Box Calculus" @default.
- W2945666908 hasPublicationYear "1997" @default.
- W2945666908 type Work @default.
- W2945666908 sameAs 2945666908 @default.
- W2945666908 citedByCount "0" @default.
- W2945666908 crossrefType "journal-article" @default.
- W2945666908 hasAuthorship W2945666908A5003321982 @default.
- W2945666908 hasAuthorship W2945666908A5042490356 @default.
- W2945666908 hasConcept C11413529 @default.
- W2945666908 hasConcept C118615104 @default.
- W2945666908 hasConcept C136119220 @default.
- W2945666908 hasConcept C168773036 @default.
- W2945666908 hasConcept C202444582 @default.
- W2945666908 hasConcept C2780069185 @default.
- W2945666908 hasConcept C33923547 @default.
- W2945666908 hasConcept C38677869 @default.
- W2945666908 hasConceptScore W2945666908C11413529 @default.
- W2945666908 hasConceptScore W2945666908C118615104 @default.
- W2945666908 hasConceptScore W2945666908C136119220 @default.
- W2945666908 hasConceptScore W2945666908C168773036 @default.
- W2945666908 hasConceptScore W2945666908C202444582 @default.
- W2945666908 hasConceptScore W2945666908C2780069185 @default.
- W2945666908 hasConceptScore W2945666908C33923547 @default.
- W2945666908 hasConceptScore W2945666908C38677869 @default.
- W2945666908 hasLocation W29456669081 @default.
- W2945666908 hasOpenAccess W2945666908 @default.
- W2945666908 hasPrimaryLocation W29456669081 @default.
- W2945666908 hasRelatedWork W1212590437 @default.
- W2945666908 hasRelatedWork W1481783499 @default.
- W2945666908 hasRelatedWork W1486772918 @default.
- W2945666908 hasRelatedWork W1501160109 @default.
- W2945666908 hasRelatedWork W1502953657 @default.
- W2945666908 hasRelatedWork W1551372377 @default.
- W2945666908 hasRelatedWork W1632696447 @default.
- W2945666908 hasRelatedWork W1638831872 @default.
- W2945666908 hasRelatedWork W1692052839 @default.
- W2945666908 hasRelatedWork W1743575065 @default.
- W2945666908 hasRelatedWork W2057814731 @default.
- W2945666908 hasRelatedWork W2097508095 @default.
- W2945666908 hasRelatedWork W2152050946 @default.
- W2945666908 hasRelatedWork W2282230163 @default.
- W2945666908 hasRelatedWork W2947232600 @default.
- W2945666908 hasRelatedWork W3006681913 @default.
- W2945666908 hasRelatedWork W3105059550 @default.
- W2945666908 hasRelatedWork W3174590287 @default.
- W2945666908 hasRelatedWork W327279188 @default.
- W2945666908 hasRelatedWork W960508059 @default.
- W2945666908 isParatext "false" @default.
- W2945666908 isRetracted "false" @default.
- W2945666908 magId "2945666908" @default.
- W2945666908 workType "article" @default.