FRINK Linked Data Fragments server

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

• W1995897494 endingPage "33" @default.
• W1995897494 startingPage "17" @default.
• W1995897494 abstract "Recently, some general frameworks have been proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed executions), aiming to provide general results and tools. This paper provides two contributions in this respect. First, we present a general GSOS specification format (and a corresponding notion of bisimulation) for non-deterministic processes with quantitative aspects. These specifications define labelled transition systems according to the ULTraS model, an extension of the usual LTSs where the transition relation associates any source state and transition label with state reachability weight functions (like, e.g., probability distributions). This format, hence called Weight Function SOS (WFSOS), covers many known systems and their bisimulations (e.g. PEPA, TIPP, PCSP) and GSOS formats (e.g. GSOS, Weighted GSOS, Segala-GSOS, among others). The second contribution is a characterization of these systems as coalgebras of a class of functors, parametric on the weight structure. This result allows us to prove soundness of the WFSOS specification format, and that bisimilarities induced by these specifications are always congruences." @default.
• W1995897494 created "2016-06-24" @default.
• W1995897494 creator A5022827521 @default.
• W1995897494 creator A5024162879 @default.
• W1995897494 date "2014-06-06" @default.
• W1995897494 modified "2023-10-18" @default.
• W1995897494 title "GSOS for non-deterministic processes with quantitative aspects" @default.
• W1995897494 cites W1485090468 @default.
• W1995897494 cites W1503794828 @default.
• W1995897494 cites W1643571618 @default.
• W1995897494 cites W1966112122 @default.
• W1995897494 cites W1969279113 @default.
• W1995897494 cites W1976268573 @default.
• W1995897494 cites W2005133733 @default.
• W1995897494 cites W2040598439 @default.
• W1995897494 cites W2070218973 @default.
• W1995897494 cites W2088189323 @default.
• W1995897494 cites W2098561872 @default.
• W1995897494 cites W2100996925 @default.
• W1995897494 cites W2109142454 @default.
• W1995897494 cites W2146187895 @default.
• W1995897494 cites W2156569015 @default.
• W1995897494 cites W2160136100 @default.
• W1995897494 cites W2251500794 @default.
• W1995897494 cites W2284263109 @default.
• W1995897494 cites W2305569592 @default.
• W1995897494 cites W3150554008 @default.
• W1995897494 cites W4206542816 @default.
• W1995897494 cites W4213277014 @default.
• W1995897494 doi "https://doi.org/10.4204/eptcs.154.2" @default.
• W1995897494 hasPublicationYear "2014" @default.
• W1995897494 type Work @default.
• W1995897494 sameAs 1995897494 @default.
• W1995897494 citedByCount "6" @default.
• W1995897494 countsByYear W19958974942014 @default.
• W1995897494 countsByYear W19958974942015 @default.
• W1995897494 countsByYear W19958974942016 @default.
• W1995897494 countsByYear W19958974942017 @default.
• W1995897494 crossrefType "journal-article" @default.
• W1995897494 hasAuthorship W1995897494A5022827521 @default.
• W1995897494 hasAuthorship W1995897494A5024162879 @default.
• W1995897494 hasBestOaLocation W19958974941 @default.
• W1995897494 hasConcept C105795698 @default.
• W1995897494 hasConcept C11413529 @default.
• W1995897494 hasConcept C117251300 @default.
• W1995897494 hasConcept C118615104 @default.
• W1995897494 hasConcept C135315306 @default.
• W1995897494 hasConcept C136119220 @default.
• W1995897494 hasConcept C154945302 @default.
• W1995897494 hasConcept C156772000 @default.
• W1995897494 hasConcept C199360897 @default.
• W1995897494 hasConcept C202444582 @default.
• W1995897494 hasConcept C2778029271 @default.
• W1995897494 hasConcept C33923547 @default.
• W1995897494 hasConcept C39920170 @default.
• W1995897494 hasConcept C41008148 @default.
• W1995897494 hasConcept C48103436 @default.
• W1995897494 hasConcept C49937458 @default.
• W1995897494 hasConcept C80444323 @default.
• W1995897494 hasConceptScore W1995897494C105795698 @default.
• W1995897494 hasConceptScore W1995897494C11413529 @default.
• W1995897494 hasConceptScore W1995897494C117251300 @default.
• W1995897494 hasConceptScore W1995897494C118615104 @default.
• W1995897494 hasConceptScore W1995897494C135315306 @default.
• W1995897494 hasConceptScore W1995897494C136119220 @default.
• W1995897494 hasConceptScore W1995897494C154945302 @default.
• W1995897494 hasConceptScore W1995897494C156772000 @default.
• W1995897494 hasConceptScore W1995897494C199360897 @default.
• W1995897494 hasConceptScore W1995897494C202444582 @default.
• W1995897494 hasConceptScore W1995897494C2778029271 @default.
• W1995897494 hasConceptScore W1995897494C33923547 @default.
• W1995897494 hasConceptScore W1995897494C39920170 @default.
• W1995897494 hasConceptScore W1995897494C41008148 @default.
• W1995897494 hasConceptScore W1995897494C48103436 @default.
• W1995897494 hasConceptScore W1995897494C49937458 @default.
• W1995897494 hasConceptScore W1995897494C80444323 @default.
• W1995897494 hasLocation W19958974941 @default.
• W1995897494 hasLocation W19958974942 @default.
• W1995897494 hasOpenAccess W1995897494 @default.
• W1995897494 hasPrimaryLocation W19958974941 @default.
• W1995897494 hasRelatedWork W1535812899 @default.
• W1995897494 hasRelatedWork W1756668654 @default.
• W1995897494 hasRelatedWork W1964440665 @default.
• W1995897494 hasRelatedWork W1995897494 @default.
• W1995897494 hasRelatedWork W2006026732 @default.
• W1995897494 hasRelatedWork W2008636926 @default.
• W1995897494 hasRelatedWork W2027519864 @default.
• W1995897494 hasRelatedWork W2048826020 @default.
• W1995897494 hasRelatedWork W2088189323 @default.
• W1995897494 hasRelatedWork W2106301386 @default.
• W1995897494 hasRelatedWork W2112298740 @default.
• W1995897494 hasRelatedWork W2137336375 @default.
• W1995897494 hasRelatedWork W2151186198 @default.
• W1995897494 hasRelatedWork W2305569592 @default.
• W1995897494 hasRelatedWork W2461608415 @default.
• W1995897494 hasRelatedWork W2579884179 @default.
• W1995897494 hasRelatedWork W2607612372 @default.
• W1995897494 hasRelatedWork W2763492048 @default.

• next