Matches in SemOpenAlex for { <https://semopenalex.org/work/W1513322016> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1513322016 endingPage "279" @default.
- W1513322016 startingPage "265" @default.
- W1513322016 abstract "Location equivalence is a bisimulation based equivalence for process calculi which is able to take into account the distributed nature of processes; the underlying idea is that each action occurs at a particular location.The definition of bisimulation for location equivalence is not the standard one, since it must deal with the creation of new locations, and this leads to the necessity of using specific algorithms. In particular these algorithms work only on pairs of agents and do not allow to find the minimal representative for a class of equivalent agents.In this paper we associate to every agent a labeled transition system (in which the informations on the locations appear in the labels) so that location-equivalent agents are mapped into transition systems which are bisimilar according to the ordinary definition of bisimulation. The main consequence of this result is that the standard algorithms for ordinary bisimulation can be re-used, and in particular the partitioning algorithm which allows to obtain the minimal realization of a single agent." @default.
- W1513322016 created "2016-06-24" @default.
- W1513322016 creator A5036876399 @default.
- W1513322016 creator A5061468940 @default.
- W1513322016 creator A5090773046 @default.
- W1513322016 date "1996-01-01" @default.
- W1513322016 modified "2023-09-25" @default.
- W1513322016 title "Efficient minimization up to location equivalence" @default.
- W1513322016 cites W1523525039 @default.
- W1513322016 cites W1566946341 @default.
- W1513322016 cites W1804005701 @default.
- W1513322016 cites W2021202226 @default.
- W1513322016 cites W2028613837 @default.
- W1513322016 cites W2068361557 @default.
- W1513322016 cites W2913408576 @default.
- W1513322016 doi "https://doi.org/10.1007/3-540-61055-3_42" @default.
- W1513322016 hasPublicationYear "1996" @default.
- W1513322016 type Work @default.
- W1513322016 sameAs 1513322016 @default.
- W1513322016 citedByCount "12" @default.
- W1513322016 countsByYear W15133220162015 @default.
- W1513322016 crossrefType "book-chapter" @default.
- W1513322016 hasAuthorship W1513322016A5036876399 @default.
- W1513322016 hasAuthorship W1513322016A5061468940 @default.
- W1513322016 hasAuthorship W1513322016A5090773046 @default.
- W1513322016 hasBestOaLocation W15133220161 @default.
- W1513322016 hasConcept C11413529 @default.
- W1513322016 hasConcept C118615104 @default.
- W1513322016 hasConcept C135315306 @default.
- W1513322016 hasConcept C147764199 @default.
- W1513322016 hasConcept C161771561 @default.
- W1513322016 hasConcept C199360897 @default.
- W1513322016 hasConcept C2777044963 @default.
- W1513322016 hasConcept C2779167558 @default.
- W1513322016 hasConcept C2780069185 @default.
- W1513322016 hasConcept C33923547 @default.
- W1513322016 hasConcept C41008148 @default.
- W1513322016 hasConcept C80444323 @default.
- W1513322016 hasConceptScore W1513322016C11413529 @default.
- W1513322016 hasConceptScore W1513322016C118615104 @default.
- W1513322016 hasConceptScore W1513322016C135315306 @default.
- W1513322016 hasConceptScore W1513322016C147764199 @default.
- W1513322016 hasConceptScore W1513322016C161771561 @default.
- W1513322016 hasConceptScore W1513322016C199360897 @default.
- W1513322016 hasConceptScore W1513322016C2777044963 @default.
- W1513322016 hasConceptScore W1513322016C2779167558 @default.
- W1513322016 hasConceptScore W1513322016C2780069185 @default.
- W1513322016 hasConceptScore W1513322016C33923547 @default.
- W1513322016 hasConceptScore W1513322016C41008148 @default.
- W1513322016 hasConceptScore W1513322016C80444323 @default.
- W1513322016 hasLocation W15133220161 @default.
- W1513322016 hasOpenAccess W1513322016 @default.
- W1513322016 hasPrimaryLocation W15133220161 @default.
- W1513322016 hasRelatedWork W1608609850 @default.
- W1513322016 hasRelatedWork W1804005701 @default.
- W1513322016 hasRelatedWork W1888841230 @default.
- W1513322016 hasRelatedWork W2026251929 @default.
- W1513322016 hasRelatedWork W2063608931 @default.
- W1513322016 hasRelatedWork W2069441293 @default.
- W1513322016 hasRelatedWork W2135048208 @default.
- W1513322016 hasRelatedWork W2155852086 @default.
- W1513322016 hasRelatedWork W4207042428 @default.
- W1513322016 hasRelatedWork W4230750962 @default.
- W1513322016 isParatext "false" @default.
- W1513322016 isRetracted "false" @default.
- W1513322016 magId "1513322016" @default.
- W1513322016 workType "book-chapter" @default.