FRINK Linked Data Fragments server

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

• W3021477639 abstract "The mCRL2 language is a formal specification language that is used to specify, model, analyze and verify behavioral properties for distributed systems and protocols. The semantics of the mCRL2 language is defined formally using Structural Operational Semantics (SOS). In [32] we propose an approach that takes the SOS of a formal language, along with a concrete model, that serves as an initialization, and transforms it to a Linear Process Specification (LPS). In this paper we extend the approach and show that it can be applied to a formal language that in practice is used to specify and model discussed systems. Hence, we take mCRL2's own operational semantics and transform it into an mCRL2 specification. In essence, this means that we are feeding the mCRL2 toolset its own formal language definition. This semantic dogfooding approach validates the implemented behavior for the mCRL2 language against its formal definition. By performing this exercise we revealed gaps between the defined and implemented semantics. These gaps have subsequently been resolved." @default.
• W3021477639 created "2020-05-13" @default.
• W3021477639 creator A5006824372 @default.
• W3021477639 creator A5032619003 @default.
• W3021477639 creator A5040487816 @default.
• W3021477639 creator A5044691901 @default.
• W3021477639 date "2012-10-01" @default.
• W3021477639 modified "2023-09-23" @default.
• W3021477639 title "Dogfooding the Formal Semantics of mCRL2" @default.
• W3021477639 cites W1554594749 @default.
• W3021477639 cites W1576174588 @default.
• W3021477639 cites W1592642488 @default.
• W3021477639 cites W1829416068 @default.
• W3021477639 cites W1867436870 @default.
• W3021477639 cites W1969947545 @default.
• W3021477639 cites W2001487918 @default.
• W3021477639 cites W2003283807 @default.
• W3021477639 cites W2007809070 @default.
• W3021477639 cites W2016799432 @default.
• W3021477639 cites W2025764137 @default.
• W3021477639 cites W2030762481 @default.
• W3021477639 cites W2037358030 @default.
• W3021477639 cites W2112774031 @default.
• W3021477639 cites W2115003019 @default.
• W3021477639 cites W2118229393 @default.
• W3021477639 cites W2124431509 @default.
• W3021477639 cites W2128804846 @default.
• W3021477639 cites W2130086153 @default.
• W3021477639 cites W2132127235 @default.
• W3021477639 cites W2912259090 @default.
• W3021477639 cites W69221180 @default.
• W3021477639 doi "https://doi.org/10.1109/sew.2012.16" @default.
• W3021477639 hasPublicationYear "2012" @default.
• W3021477639 type Work @default.
• W3021477639 sameAs 3021477639 @default.
• W3021477639 citedByCount "1" @default.
• W3021477639 countsByYear W30214776392013 @default.
• W3021477639 crossrefType "proceedings-article" @default.
• W3021477639 hasAuthorship W3021477639A5006824372 @default.
• W3021477639 hasAuthorship W3021477639A5032619003 @default.
• W3021477639 hasAuthorship W3021477639A5040487816 @default.
• W3021477639 hasAuthorship W3021477639A5044691901 @default.
• W3021477639 hasConcept C111498074 @default.
• W3021477639 hasConcept C114466953 @default.
• W3021477639 hasConcept C116253237 @default.
• W3021477639 hasConcept C119263510 @default.
• W3021477639 hasConcept C146072743 @default.
• W3021477639 hasConcept C146499914 @default.
• W3021477639 hasConcept C150607116 @default.
• W3021477639 hasConcept C15077461 @default.
• W3021477639 hasConcept C156325763 @default.
• W3021477639 hasConcept C184337299 @default.
• W3021477639 hasConcept C185954173 @default.
• W3021477639 hasConcept C195324797 @default.
• W3021477639 hasConcept C199360897 @default.
• W3021477639 hasConcept C200065993 @default.
• W3021477639 hasConcept C201677973 @default.
• W3021477639 hasConcept C204321447 @default.
• W3021477639 hasConcept C207648694 @default.
• W3021477639 hasConcept C34165917 @default.
• W3021477639 hasConcept C41008148 @default.
• W3021477639 hasConcept C50033165 @default.
• W3021477639 hasConcept C75606506 @default.
• W3021477639 hasConcept C90069079 @default.
• W3021477639 hasConceptScore W3021477639C111498074 @default.
• W3021477639 hasConceptScore W3021477639C114466953 @default.
• W3021477639 hasConceptScore W3021477639C116253237 @default.
• W3021477639 hasConceptScore W3021477639C119263510 @default.
• W3021477639 hasConceptScore W3021477639C146072743 @default.
• W3021477639 hasConceptScore W3021477639C146499914 @default.
• W3021477639 hasConceptScore W3021477639C150607116 @default.
• W3021477639 hasConceptScore W3021477639C15077461 @default.
• W3021477639 hasConceptScore W3021477639C156325763 @default.
• W3021477639 hasConceptScore W3021477639C184337299 @default.
• W3021477639 hasConceptScore W3021477639C185954173 @default.
• W3021477639 hasConceptScore W3021477639C195324797 @default.
• W3021477639 hasConceptScore W3021477639C199360897 @default.
• W3021477639 hasConceptScore W3021477639C200065993 @default.
• W3021477639 hasConceptScore W3021477639C201677973 @default.
• W3021477639 hasConceptScore W3021477639C204321447 @default.
• W3021477639 hasConceptScore W3021477639C207648694 @default.
• W3021477639 hasConceptScore W3021477639C34165917 @default.
• W3021477639 hasConceptScore W3021477639C41008148 @default.
• W3021477639 hasConceptScore W3021477639C50033165 @default.
• W3021477639 hasConceptScore W3021477639C75606506 @default.
• W3021477639 hasConceptScore W3021477639C90069079 @default.
• W3021477639 hasLocation W30214776391 @default.
• W3021477639 hasOpenAccess W3021477639 @default.
• W3021477639 hasPrimaryLocation W30214776391 @default.
• W3021477639 hasRelatedWork W1513140821 @default.
• W3021477639 hasRelatedWork W1972818437 @default.
• W3021477639 hasRelatedWork W1979818150 @default.
• W3021477639 hasRelatedWork W2084871158 @default.
• W3021477639 hasRelatedWork W2105540152 @default.
• W3021477639 hasRelatedWork W2124431509 @default.
• W3021477639 hasRelatedWork W2156223462 @default.
• W3021477639 hasRelatedWork W2726351085 @default.
• W3021477639 hasRelatedWork W2898425611 @default.
• W3021477639 hasRelatedWork W3021477639 @default.
• W3021477639 isParatext "false" @default.

• next