Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293220321> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4293220321 endingPage "157" @default.
- W4293220321 startingPage "157" @default.
- W4293220321 abstract "Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions. PDL is a multimodal logic tailored to reason about programs. It is proved to be sound, complete, decidable and has a simple Kripke semantics. This work intends to provide an interpretation of Reo circuits as PDL models. These are the first steps towards providing a dynamic logic tailored to reason directly about Reo circuits." @default.
- W4293220321 created "2022-08-27" @default.
- W4293220321 creator A5004365290 @default.
- W4293220321 creator A5021212312 @default.
- W4293220321 creator A5082390444 @default.
- W4293220321 date "2022-01-15" @default.
- W4293220321 modified "2023-09-30" @default.
- W4293220321 title "Interpreting Reo Circuits as PDL models" @default.
- W4293220321 doi "https://doi.org/10.32334/oqnfp.2021n49a803" @default.
- W4293220321 hasPublicationYear "2022" @default.
- W4293220321 type Work @default.
- W4293220321 citedByCount "0" @default.
- W4293220321 crossrefType "journal-article" @default.
- W4293220321 hasAuthorship W4293220321A5004365290 @default.
- W4293220321 hasAuthorship W4293220321A5021212312 @default.
- W4293220321 hasAuthorship W4293220321A5082390444 @default.
- W4293220321 hasBestOaLocation W42932203211 @default.
- W4293220321 hasConcept C102993220 @default.
- W4293220321 hasConcept C111472728 @default.
- W4293220321 hasConcept C119599485 @default.
- W4293220321 hasConcept C124304363 @default.
- W4293220321 hasConcept C127413603 @default.
- W4293220321 hasConcept C134146338 @default.
- W4293220321 hasConcept C138885662 @default.
- W4293220321 hasConcept C153269930 @default.
- W4293220321 hasConcept C160131679 @default.
- W4293220321 hasConcept C184337299 @default.
- W4293220321 hasConcept C199360897 @default.
- W4293220321 hasConcept C203659156 @default.
- W4293220321 hasConcept C2780586882 @default.
- W4293220321 hasConcept C41008148 @default.
- W4293220321 hasConcept C527412718 @default.
- W4293220321 hasConcept C80444323 @default.
- W4293220321 hasConceptScore W4293220321C102993220 @default.
- W4293220321 hasConceptScore W4293220321C111472728 @default.
- W4293220321 hasConceptScore W4293220321C119599485 @default.
- W4293220321 hasConceptScore W4293220321C124304363 @default.
- W4293220321 hasConceptScore W4293220321C127413603 @default.
- W4293220321 hasConceptScore W4293220321C134146338 @default.
- W4293220321 hasConceptScore W4293220321C138885662 @default.
- W4293220321 hasConceptScore W4293220321C153269930 @default.
- W4293220321 hasConceptScore W4293220321C160131679 @default.
- W4293220321 hasConceptScore W4293220321C184337299 @default.
- W4293220321 hasConceptScore W4293220321C199360897 @default.
- W4293220321 hasConceptScore W4293220321C203659156 @default.
- W4293220321 hasConceptScore W4293220321C2780586882 @default.
- W4293220321 hasConceptScore W4293220321C41008148 @default.
- W4293220321 hasConceptScore W4293220321C527412718 @default.
- W4293220321 hasConceptScore W4293220321C80444323 @default.
- W4293220321 hasIssue "49" @default.
- W4293220321 hasLocation W42932203211 @default.
- W4293220321 hasOpenAccess W4293220321 @default.
- W4293220321 hasPrimaryLocation W42932203211 @default.
- W4293220321 hasRelatedWork W1587224678 @default.
- W4293220321 hasRelatedWork W1855927527 @default.
- W4293220321 hasRelatedWork W2074638034 @default.
- W4293220321 hasRelatedWork W2165371142 @default.
- W4293220321 hasRelatedWork W2939770589 @default.
- W4293220321 hasRelatedWork W3160136729 @default.
- W4293220321 hasRelatedWork W4238875431 @default.
- W4293220321 hasRelatedWork W4379924946 @default.
- W4293220321 hasRelatedWork W4385439110 @default.
- W4293220321 hasRelatedWork W96688659 @default.
- W4293220321 hasVolume "29" @default.
- W4293220321 isParatext "false" @default.
- W4293220321 isRetracted "false" @default.
- W4293220321 workType "article" @default.