FRINK Linked Data Fragments server

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

• W1597837141 abstract "Since the development of CCS and other process algebras, many extensions to these process algebras have been proposed to model different aspects of concurrent computation. It is important both theoretically and practically to understand the relationships between these process algebras and between the semantic equivalences that are defined for them. In this thesis, I investigate the comparison of semantic equivalences based on bisimulation which are defined for process algebras whose behaviours are described by structured operational semantics, and expressed as labelled transition systems. I first consider a hierarchy of bisimulations for extensions to CCS, using both existing and new results to describe the relationships between their equivalences with respect to pure CCS terms. I then consider a more general approach to comparison by investigating labelled transition systems with structured labels. I define bisimulation homomorphisms between labelled transition systems with different labels, and show how these can be used to compare equivalences. Next, I work in the meta-theory of process algebras and consider a new format that is an extension of the tyft/tyxt format for transition system specifications. This format treats labels syntactically instead of schematically, and hence I use a definition of bisimulation which requires equivalence between labels instead of exact matching. I show that standard results such as congruence and conservative extension hold for the new format. I then investigate how comparison of equivalences can be approached through the notion of extension to transition system specifications. This leads to the main results of this study which show how in a very general fashion the bisimulations defined for two different process algebras can be compared over a subset of terms of the process algebras. I also consider what implications the conditions which are required to obtain these results have for modelling process algebras, and show that these conditions do not impose significant limitations. Finally, I show how these results can be applied to existing process algebras. I model a number of process algebras with the extended format and derive new results from the meta-theory developed." @default.
• W1597837141 created "2016-06-24" @default.
• W1597837141 creator A5089187425 @default.
• W1597837141 date "1998-07-01" @default.
• W1597837141 modified "2023-09-26" @default.
• W1597837141 title "Equivalence semantics for concurrency: comparison and application" @default.
• W1597837141 cites W133701161 @default.
• W1597837141 cites W1487534524 @default.
• W1597837141 cites W1490390913 @default.
• W1597837141 cites W1500097616 @default.
• W1597837141 cites W1503973138 @default.
• W1597837141 cites W1509985362 @default.
• W1597837141 cites W1511498432 @default.
• W1597837141 cites W1514211561 @default.
• W1597837141 cites W1525103753 @default.
• W1597837141 cites W1528085392 @default.
• W1597837141 cites W1536150964 @default.
• W1597837141 cites W1547752895 @default.
• W1597837141 cites W1555729963 @default.
• W1597837141 cites W1556838231 @default.
• W1597837141 cites W1559986400 @default.
• W1597837141 cites W1566713756 @default.
• W1597837141 cites W1566820972 @default.
• W1597837141 cites W1566946341 @default.
• W1597837141 cites W1568134470 @default.
• W1597837141 cites W1573842056 @default.
• W1597837141 cites W1574607751 @default.
• W1597837141 cites W1587275578 @default.
• W1597837141 cites W1587299948 @default.
• W1597837141 cites W1593195771 @default.
• W1597837141 cites W1595384811 @default.
• W1597837141 cites W1596381309 @default.
• W1597837141 cites W1602232868 @default.
• W1597837141 cites W1608135341 @default.
• W1597837141 cites W1608345513 @default.
• W1597837141 cites W161995056 @default.
• W1597837141 cites W1713163075 @default.
• W1597837141 cites W1720140439 @default.
• W1597837141 cites W1760503723 @default.
• W1597837141 cites W1762927468 @default.
• W1597837141 cites W1771085265 @default.
• W1597837141 cites W1793309813 @default.
• W1597837141 cites W1804005701 @default.
• W1597837141 cites W1869644701 @default.
• W1597837141 cites W1886856247 @default.
• W1597837141 cites W1908424597 @default.
• W1597837141 cites W1966112122 @default.
• W1597837141 cites W1969947545 @default.
• W1597837141 cites W1970071839 @default.
• W1597837141 cites W1971253273 @default.
• W1597837141 cites W1973351415 @default.
• W1597837141 cites W1977652281 @default.
• W1597837141 cites W1980219959 @default.
• W1597837141 cites W1981737360 @default.
• W1597837141 cites W1982140689 @default.
• W1597837141 cites W1989279866 @default.
• W1597837141 cites W1990085921 @default.
• W1597837141 cites W1994216518 @default.
• W1597837141 cites W1997305605 @default.
• W1597837141 cites W1999706742 @default.
• W1597837141 cites W2001026449 @default.
• W1597837141 cites W2001704968 @default.
• W1597837141 cites W2005328758 @default.
• W1597837141 cites W2021089599 @default.
• W1597837141 cites W2021202226 @default.
• W1597837141 cites W2024875518 @default.
• W1597837141 cites W2027256978 @default.
• W1597837141 cites W2030888138 @default.
• W1597837141 cites W2031124364 @default.
• W1597837141 cites W2032838513 @default.
• W1597837141 cites W2033241085 @default.
• W1597837141 cites W2035959929 @default.
• W1597837141 cites W2037230951 @default.
• W1597837141 cites W2038789187 @default.
• W1597837141 cites W2041561080 @default.
• W1597837141 cites W2060344461 @default.
• W1597837141 cites W2061743024 @default.
• W1597837141 cites W2063465006 @default.
• W1597837141 cites W2070157304 @default.
• W1597837141 cites W2070403123 @default.
• W1597837141 cites W2070503710 @default.
• W1597837141 cites W2074117888 @default.
• W1597837141 cites W2075196465 @default.
• W1597837141 cites W2078614932 @default.
• W1597837141 cites W2088903792 @default.
• W1597837141 cites W2089546907 @default.
• W1597837141 cites W2095417604 @default.
• W1597837141 cites W2095504289 @default.
• W1597837141 cites W2098083416 @default.
• W1597837141 cites W2103148887 @default.
• W1597837141 cites W2105135809 @default.
• W1597837141 cites W2117297757 @default.
• W1597837141 cites W2118954772 @default.
• W1597837141 cites W2121029475 @default.
• W1597837141 cites W2121936893 @default.
• W1597837141 cites W2125382028 @default.
• W1597837141 cites W2130056801 @default.
• W1597837141 cites W2138549619 @default.
• W1597837141 cites W2144545266 @default.
• W1597837141 cites W2146485104 @default.

• next