Matches in SemOpenAlex for { <https://semopenalex.org/work/W1582247340> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1582247340 abstract "This paper shows that many simulation equivalences over processes can be characterised by a single parameterised modal logic formula. Strong bisimulation equivalence was shown by Milner to be characterised in this way. This paper shows that simulation, complete simulation, ready simulation, 2-nested simulation, weak bisimulation and congruence can also be characterised in this way. The paper constructs a template which can be used to generate a parametrised modal formula which is guaranteed to characterise a 'sensible' simulation equivalence. Two infinite families of simulation equivalences are characterised in this way, both of which converge to strong bisimulation. The paper defines a similar template for weak simulation equivalences. This template is used to construct an infinite family of equivalences which converges to weak bisimulation equivalence, and another infinite family which converges to congruence." @default.
- W1582247340 created "2016-06-24" @default.
- W1582247340 creator A5008254802 @default.
- W1582247340 creator A5036565179 @default.
- W1582247340 date "1995-01-01" @default.
- W1582247340 modified "2023-09-23" @default.
- W1582247340 title "Modal Observation Equivalence of Processes" @default.
- W1582247340 cites W1503973138 @default.
- W1582247340 cites W1589421353 @default.
- W1582247340 cites W1639519860 @default.
- W1582247340 cites W1791168610 @default.
- W1582247340 cites W2007985911 @default.
- W1582247340 cites W2016427594 @default.
- W1582247340 cites W2107733072 @default.
- W1582247340 cites W2128932399 @default.
- W1582247340 cites W3144368627 @default.
- W1582247340 cites W3147762363 @default.
- W1582247340 hasPublicationYear "1995" @default.
- W1582247340 type Work @default.
- W1582247340 sameAs 1582247340 @default.
- W1582247340 citedByCount "0" @default.
- W1582247340 crossrefType "journal-article" @default.
- W1582247340 hasAuthorship W1582247340A5008254802 @default.
- W1582247340 hasAuthorship W1582247340A5036565179 @default.
- W1582247340 hasConcept C118615104 @default.
- W1582247340 hasConcept C132074034 @default.
- W1582247340 hasConcept C135315306 @default.
- W1582247340 hasConcept C136119220 @default.
- W1582247340 hasConcept C185592680 @default.
- W1582247340 hasConcept C188027245 @default.
- W1582247340 hasConcept C202444582 @default.
- W1582247340 hasConcept C2524010 @default.
- W1582247340 hasConcept C27508121 @default.
- W1582247340 hasConcept C2780069185 @default.
- W1582247340 hasConcept C33923547 @default.
- W1582247340 hasConcept C41008148 @default.
- W1582247340 hasConcept C71139939 @default.
- W1582247340 hasConcept C9973445 @default.
- W1582247340 hasConceptScore W1582247340C118615104 @default.
- W1582247340 hasConceptScore W1582247340C132074034 @default.
- W1582247340 hasConceptScore W1582247340C135315306 @default.
- W1582247340 hasConceptScore W1582247340C136119220 @default.
- W1582247340 hasConceptScore W1582247340C185592680 @default.
- W1582247340 hasConceptScore W1582247340C188027245 @default.
- W1582247340 hasConceptScore W1582247340C202444582 @default.
- W1582247340 hasConceptScore W1582247340C2524010 @default.
- W1582247340 hasConceptScore W1582247340C27508121 @default.
- W1582247340 hasConceptScore W1582247340C2780069185 @default.
- W1582247340 hasConceptScore W1582247340C33923547 @default.
- W1582247340 hasConceptScore W1582247340C41008148 @default.
- W1582247340 hasConceptScore W1582247340C71139939 @default.
- W1582247340 hasConceptScore W1582247340C9973445 @default.
- W1582247340 hasLocation W15822473401 @default.
- W1582247340 hasOpenAccess W1582247340 @default.
- W1582247340 hasPrimaryLocation W15822473401 @default.
- W1582247340 hasRelatedWork W1491719272 @default.
- W1582247340 hasRelatedWork W1514174256 @default.
- W1582247340 hasRelatedWork W1568775940 @default.
- W1582247340 hasRelatedWork W1973351415 @default.
- W1582247340 hasRelatedWork W1984416558 @default.
- W1582247340 hasRelatedWork W1989540314 @default.
- W1582247340 hasRelatedWork W2034020594 @default.
- W1582247340 hasRelatedWork W2048842934 @default.
- W1582247340 hasRelatedWork W2063176706 @default.
- W1582247340 hasRelatedWork W2096883545 @default.
- W1582247340 hasRelatedWork W2108677969 @default.
- W1582247340 hasRelatedWork W2109080678 @default.
- W1582247340 hasRelatedWork W2110763517 @default.
- W1582247340 hasRelatedWork W2126519460 @default.
- W1582247340 hasRelatedWork W2151745809 @default.
- W1582247340 hasRelatedWork W2156750819 @default.
- W1582247340 hasRelatedWork W2376631750 @default.
- W1582247340 hasRelatedWork W2388949013 @default.
- W1582247340 hasRelatedWork W2460118833 @default.
- W1582247340 hasRelatedWork W3043687674 @default.
- W1582247340 isParatext "false" @default.
- W1582247340 isRetracted "false" @default.
- W1582247340 magId "1582247340" @default.
- W1582247340 workType "article" @default.