Matches in SemOpenAlex for { <https://semopenalex.org/work/W2306232110> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2306232110 endingPage "804" @default.
- W2306232110 startingPage "767" @default.
- W2306232110 abstract "Abstract A GALS ( Globally Asynchronous, Locally Synchronous ) system consists of several synchronous components that evolve concurrently and interact with each other asynchronously. The design of GALS systems is tedious and error-prone due to the high degree of synchronous and asynchronous concurrency present in complex architectures. In this paper, we present GRL ( GALS Representation Language ), a formal language designed to model GALS systems, for the purpose of formal verification of the asynchronous aspects. GRL combines the synchronous reactive model underlying dataflow languages and the asynchronous concurrent model underlying process algebras. We propose a translation from GRL to LNT, a value-passing concurrent language with classical process algebra flavour. This makes possible the analysis of GRL specifications using all the state-of-the-art simulation and verification functionalities provided by the CADP toolbox." @default.
- W2306232110 created "2016-06-24" @default.
- W2306232110 creator A5068981088 @default.
- W2306232110 creator A5069247030 @default.
- W2306232110 creator A5075433817 @default.
- W2306232110 date "2016-09-01" @default.
- W2306232110 modified "2023-10-17" @default.
- W2306232110 title "Formal modelling and verification of GALS systems using GRL and CADP" @default.
- W2306232110 cites W1218816669 @default.
- W2306232110 cites W1505190576 @default.
- W2306232110 cites W1506127417 @default.
- W2306232110 cites W1537672735 @default.
- W2306232110 cites W1553233117 @default.
- W2306232110 cites W1591361873 @default.
- W2306232110 cites W1591643794 @default.
- W2306232110 cites W1594193927 @default.
- W2306232110 cites W1605031929 @default.
- W2306232110 cites W1711877719 @default.
- W2306232110 cites W1785583892 @default.
- W2306232110 cites W1878532202 @default.
- W2306232110 cites W1968049993 @default.
- W2306232110 cites W1976499190 @default.
- W2306232110 cites W1985161650 @default.
- W2306232110 cites W1989819369 @default.
- W2306232110 cites W2001748564 @default.
- W2306232110 cites W2024391966 @default.
- W2306232110 cites W2031381504 @default.
- W2306232110 cites W2072961973 @default.
- W2306232110 cites W2091631300 @default.
- W2306232110 cites W2094220291 @default.
- W2306232110 cites W2115309705 @default.
- W2306232110 cites W2122149113 @default.
- W2306232110 cites W2122229220 @default.
- W2306232110 cites W2137689062 @default.
- W2306232110 cites W2140935457 @default.
- W2306232110 cites W2155028447 @default.
- W2306232110 cites W2157906565 @default.
- W2306232110 cites W2160367421 @default.
- W2306232110 cites W2171945201 @default.
- W2306232110 cites W2619380196 @default.
- W2306232110 cites W2810491896 @default.
- W2306232110 cites W3184710042 @default.
- W2306232110 cites W4251457929 @default.
- W2306232110 cites W47314551 @default.
- W2306232110 doi "https://doi.org/10.1007/s00165-016-0373-3" @default.
- W2306232110 hasPublicationYear "2016" @default.
- W2306232110 type Work @default.
- W2306232110 sameAs 2306232110 @default.
- W2306232110 citedByCount "3" @default.
- W2306232110 countsByYear W23062321102017 @default.
- W2306232110 countsByYear W23062321102022 @default.
- W2306232110 crossrefType "journal-article" @default.
- W2306232110 hasAuthorship W2306232110A5068981088 @default.
- W2306232110 hasAuthorship W2306232110A5069247030 @default.
- W2306232110 hasAuthorship W2306232110A5075433817 @default.
- W2306232110 hasBestOaLocation W23062321102 @default.
- W2306232110 hasConcept C111498074 @default.
- W2306232110 hasConcept C118524514 @default.
- W2306232110 hasConcept C151319957 @default.
- W2306232110 hasConcept C161771561 @default.
- W2306232110 hasConcept C193702766 @default.
- W2306232110 hasConcept C199360897 @default.
- W2306232110 hasConcept C31258907 @default.
- W2306232110 hasConcept C41008148 @default.
- W2306232110 hasConcept C96324660 @default.
- W2306232110 hasConceptScore W2306232110C111498074 @default.
- W2306232110 hasConceptScore W2306232110C118524514 @default.
- W2306232110 hasConceptScore W2306232110C151319957 @default.
- W2306232110 hasConceptScore W2306232110C161771561 @default.
- W2306232110 hasConceptScore W2306232110C193702766 @default.
- W2306232110 hasConceptScore W2306232110C199360897 @default.
- W2306232110 hasConceptScore W2306232110C31258907 @default.
- W2306232110 hasConceptScore W2306232110C41008148 @default.
- W2306232110 hasConceptScore W2306232110C96324660 @default.
- W2306232110 hasIssue "5" @default.
- W2306232110 hasLocation W23062321101 @default.
- W2306232110 hasLocation W23062321102 @default.
- W2306232110 hasLocation W23062321103 @default.
- W2306232110 hasLocation W23062321104 @default.
- W2306232110 hasOpenAccess W2306232110 @default.
- W2306232110 hasPrimaryLocation W23062321101 @default.
- W2306232110 hasRelatedWork W1517543977 @default.
- W2306232110 hasRelatedWork W194621391 @default.
- W2306232110 hasRelatedWork W2068264970 @default.
- W2306232110 hasRelatedWork W2128723913 @default.
- W2306232110 hasRelatedWork W2156783651 @default.
- W2306232110 hasRelatedWork W2306232110 @default.
- W2306232110 hasRelatedWork W3003815297 @default.
- W2306232110 hasRelatedWork W4206956498 @default.
- W2306232110 hasRelatedWork W597557714 @default.
- W2306232110 hasRelatedWork W2804226765 @default.
- W2306232110 hasVolume "28" @default.
- W2306232110 isParatext "false" @default.
- W2306232110 isRetracted "false" @default.
- W2306232110 magId "2306232110" @default.
- W2306232110 workType "article" @default.