FRINK Linked Data Fragments server

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

• W5747143 abstract "Traditionally, computer programs have been thought of as entities which take some input, execute a sequence of statements that process this input, and then return the result. More recently, concurrent and reactive computer systems have become increasingly important. Concurrency means that the system consists of several independent, interacting components, and reactiveness means that the system is capable of continuous and simultaneous communication in several directions. Examples of concurrency and reactiveness can be found in operating systems, embedded systems, computer networks and mobile communication. Designing concurrent and reactive systems is difficult and error-prone. This is because the existence of concurrent components usually enables an enormous number of possible sequences of events in the system, and the complex communication patterns of reactive behaviour can be difficult to specify and analyse. It is hoped that concurrent and reactive systems can be made more reliable if we use precise mathematical models to represent these systems, and develop methods and computer tools for analysing their behaviour through these models. Process algebra is one approach for modelling concurrent and reactive systems. In the process-algebraic model the system components make progress by executing actions, which are indivisible, atomic units with identity. Communication between concurrent entities is based on executing common actions synchronously. An important advantage offered by this approach is compositionality, which means that different components of a system can be considered in isolation and described by the behaviour that can be observed at their interface. This makes it possible to replace one component with another, simpler and smaller component that behaves in an equivalent way, which reduces the complexity of the overall system model. However, we must first have a precisely defined notion of equivalent behaviour. A behavioural equivalence must support compositionality, that is, it must be a congruence, and it should not make unnecessary distinctions between systems, that is, it should be as weak as possible. Here we identify" @default.
• W5747143 created "2016-06-24" @default.
• W5747143 creator A5085407074 @default.
• W5747143 date "2004-05-27" @default.
• W5747143 modified "2023-09-27" @default.
• W5747143 title "Weakest Congruences, Fairness and Compositional Process-Algebraic Verification" @default.
• W5747143 cites W1488858096 @default.
• W5747143 cites W1503973138 @default.
• W5747143 cites W1506588809 @default.
• W5747143 cites W1513444661 @default.
• W5747143 cites W1514052250 @default.
• W5747143 cites W1523525039 @default.
• W5747143 cites W1527654363 @default.
• W5747143 cites W1528153015 @default.
• W5747143 cites W1532970407 @default.
• W5747143 cites W1533492668 @default.
• W5747143 cites W1552488915 @default.
• W5747143 cites W1565996669 @default.
• W5747143 cites W1568920249 @default.
• W5747143 cites W1575624110 @default.
• W5747143 cites W1586140256 @default.
• W5747143 cites W1592109125 @default.
• W5747143 cites W1593428110 @default.
• W5747143 cites W1626538740 @default.
• W5747143 cites W1655990431 @default.
• W5747143 cites W1819526658 @default.
• W5747143 cites W1841277100 @default.
• W5747143 cites W1872012219 @default.
• W5747143 cites W1930138276 @default.
• W5747143 cites W1975425602 @default.
• W5747143 cites W1976773489 @default.
• W5747143 cites W1978358700 @default.
• W5747143 cites W1983409972 @default.
• W5747143 cites W1993248805 @default.
• W5747143 cites W1994013545 @default.
• W5747143 cites W1998502978 @default.
• W5747143 cites W2001748564 @default.
• W5747143 cites W2003009718 @default.
• W5747143 cites W2010167000 @default.
• W5747143 cites W2012657211 @default.
• W5747143 cites W2015688007 @default.
• W5747143 cites W2048399275 @default.
• W5747143 cites W2048880957 @default.
• W5747143 cites W2077267690 @default.
• W5747143 cites W2079457432 @default.
• W5747143 cites W2080819363 @default.
• W5747143 cites W2094235252 @default.
• W5747143 cites W2109738452 @default.
• W5747143 cites W2120926795 @default.
• W5747143 cites W2121372686 @default.
• W5747143 cites W2131024625 @default.
• W5747143 cites W2131637541 @default.
• W5747143 cites W2132334337 @default.
• W5747143 cites W2143732349 @default.
• W5747143 cites W2157144873 @default.
• W5747143 cites W226335532 @default.
• W5747143 cites W2294469413 @default.
• W5747143 cites W2340102009 @default.
• W5747143 cites W2395891450 @default.
• W5747143 cites W2591141241 @default.
• W5747143 cites W2798326610 @default.
• W5747143 cites W2911862439 @default.
• W5747143 cites W2914597273 @default.
• W5747143 cites W3144368627 @default.
• W5747143 cites W2508602472 @default.
• W5747143 cites W3142790043 @default.
• W5747143 hasPublicationYear "2004" @default.
• W5747143 type Work @default.
• W5747143 sameAs 5747143 @default.
• W5747143 citedByCount "0" @default.
• W5747143 crossrefType "journal-article" @default.
• W5747143 hasAuthorship W5747143A5085407074 @default.
• W5747143 hasConcept C113843644 @default.
• W5747143 hasConcept C120314980 @default.
• W5747143 hasConcept C121332964 @default.
• W5747143 hasConcept C121375916 @default.
• W5747143 hasConcept C129307140 @default.
• W5747143 hasConcept C154945302 @default.
• W5747143 hasConcept C157915830 @default.
• W5747143 hasConcept C161771561 @default.
• W5747143 hasConcept C168167062 @default.
• W5747143 hasConcept C173608175 @default.
• W5747143 hasConcept C193702766 @default.
• W5747143 hasConcept C199360897 @default.
• W5747143 hasConcept C2775941552 @default.
• W5747143 hasConcept C38677869 @default.
• W5747143 hasConcept C41008148 @default.
• W5747143 hasConcept C80444323 @default.
• W5747143 hasConcept C86803240 @default.
• W5747143 hasConcept C89423630 @default.
• W5747143 hasConcept C97355855 @default.
• W5747143 hasConcept C98045186 @default.
• W5747143 hasConceptScore W5747143C113843644 @default.
• W5747143 hasConceptScore W5747143C120314980 @default.
• W5747143 hasConceptScore W5747143C121332964 @default.
• W5747143 hasConceptScore W5747143C121375916 @default.
• W5747143 hasConceptScore W5747143C129307140 @default.
• W5747143 hasConceptScore W5747143C154945302 @default.
• W5747143 hasConceptScore W5747143C157915830 @default.
• W5747143 hasConceptScore W5747143C161771561 @default.

• next