Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142778060> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2142778060 endingPage "262" @default.
- W2142778060 startingPage "246" @default.
- W2142778060 abstract "We present a semantics for an imperative programming language, Lunsen, with constructs for concurrency and communication. The semantics is given through a translation into CCS. We have implemented this translation within the framework of the Concurrency Workbench, which is a tool for analysis of finite-state systems in CCS. The point of the translational semantics is that by imposing restrictions on Lunsen so that the semantics of a program is finite-state, we can analyze Lunsen programs automatically using the Concurrency Workbench. As an illustration we include an analysis of a mutual exclusion algorithm." @default.
- W2142778060 created "2016-06-24" @default.
- W2142778060 creator A5009514870 @default.
- W2142778060 creator A5042834681 @default.
- W2142778060 creator A5048436076 @default.
- W2142778060 date "2006-01-31" @default.
- W2142778060 modified "2023-10-18" @default.
- W2142778060 title "An implementation of a translational semantics for an imperative language" @default.
- W2142778060 cites W1495562059 @default.
- W2142778060 cites W1978358700 @default.
- W2142778060 cites W2022907112 @default.
- W2142778060 cites W2063510765 @default.
- W2142778060 cites W2117189826 @default.
- W2142778060 doi "https://doi.org/10.1007/bfb0039064" @default.
- W2142778060 hasPublicationYear "2006" @default.
- W2142778060 type Work @default.
- W2142778060 sameAs 2142778060 @default.
- W2142778060 citedByCount "2" @default.
- W2142778060 countsByYear W21427780602013 @default.
- W2142778060 crossrefType "book-chapter" @default.
- W2142778060 hasAuthorship W2142778060A5009514870 @default.
- W2142778060 hasAuthorship W2142778060A5042834681 @default.
- W2142778060 hasAuthorship W2142778060A5048436076 @default.
- W2142778060 hasBestOaLocation W21427780602 @default.
- W2142778060 hasConcept C154945302 @default.
- W2142778060 hasConcept C155214134 @default.
- W2142778060 hasConcept C156325763 @default.
- W2142778060 hasConcept C184337299 @default.
- W2142778060 hasConcept C193702766 @default.
- W2142778060 hasConcept C199360897 @default.
- W2142778060 hasConcept C200065993 @default.
- W2142778060 hasConcept C207648694 @default.
- W2142778060 hasConcept C2779145975 @default.
- W2142778060 hasConcept C36464697 @default.
- W2142778060 hasConcept C41008148 @default.
- W2142778060 hasConcept C80444323 @default.
- W2142778060 hasConceptScore W2142778060C154945302 @default.
- W2142778060 hasConceptScore W2142778060C155214134 @default.
- W2142778060 hasConceptScore W2142778060C156325763 @default.
- W2142778060 hasConceptScore W2142778060C184337299 @default.
- W2142778060 hasConceptScore W2142778060C193702766 @default.
- W2142778060 hasConceptScore W2142778060C199360897 @default.
- W2142778060 hasConceptScore W2142778060C200065993 @default.
- W2142778060 hasConceptScore W2142778060C207648694 @default.
- W2142778060 hasConceptScore W2142778060C2779145975 @default.
- W2142778060 hasConceptScore W2142778060C36464697 @default.
- W2142778060 hasConceptScore W2142778060C41008148 @default.
- W2142778060 hasConceptScore W2142778060C80444323 @default.
- W2142778060 hasLocation W21427780601 @default.
- W2142778060 hasLocation W21427780602 @default.
- W2142778060 hasOpenAccess W2142778060 @default.
- W2142778060 hasPrimaryLocation W21427780601 @default.
- W2142778060 hasRelatedWork W1513140821 @default.
- W2142778060 hasRelatedWork W1520096938 @default.
- W2142778060 hasRelatedWork W1601013538 @default.
- W2142778060 hasRelatedWork W184628948 @default.
- W2142778060 hasRelatedWork W192452711 @default.
- W2142778060 hasRelatedWork W2109880615 @default.
- W2142778060 hasRelatedWork W2117483331 @default.
- W2142778060 hasRelatedWork W2127759428 @default.
- W2142778060 hasRelatedWork W2245550411 @default.
- W2142778060 hasRelatedWork W2763230528 @default.
- W2142778060 hasRelatedWork W2769048931 @default.
- W2142778060 hasRelatedWork W290752214 @default.
- W2142778060 hasRelatedWork W2912273059 @default.
- W2142778060 hasRelatedWork W2990670289 @default.
- W2142778060 hasRelatedWork W29942219 @default.
- W2142778060 hasRelatedWork W3038540829 @default.
- W2142778060 hasRelatedWork W3046592106 @default.
- W2142778060 hasRelatedWork W3204544396 @default.
- W2142778060 hasRelatedWork W3206131148 @default.
- W2142778060 hasRelatedWork W1493829579 @default.
- W2142778060 isParatext "false" @default.
- W2142778060 isRetracted "false" @default.
- W2142778060 magId "2142778060" @default.
- W2142778060 workType "book-chapter" @default.