Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155763973> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2155763973 abstract "This paper reports on a work that proposes a kernel for an execution environment for the operational semantics and the behavioural equivalences of CCS. The proposed execution environment distinguishes itself by being formal, by dealing with the behavioural equivalences as schemes of axioms, differently from other approaches based on automata, and by giving the possibility to define several strategies of verification in a modular and flexible way. The environment, obtained by techniques of logic-functional programming, treats basic CCS with bounded recursion. A particular strategy of verification is presented." @default.
- W2155763973 created "2016-06-24" @default.
- W2155763973 creator A5005271744 @default.
- W2155763973 creator A5014572316 @default.
- W2155763973 creator A5039484805 @default.
- W2155763973 date "1988-01-01" @default.
- W2155763973 modified "2023-09-26" @default.
- W2155763973 title "A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences" @default.
- W2155763973 cites W1541434994 @default.
- W2155763973 cites W1598625331 @default.
- W2155763973 cites W16174543 @default.
- W2155763973 cites W1762308449 @default.
- W2155763973 cites W1978469611 @default.
- W2155763973 cites W2135884324 @default.
- W2155763973 cites W2137865376 @default.
- W2155763973 cites W2155763973 @default.
- W2155763973 cites W4252390666 @default.
- W2155763973 doi "https://doi.org/10.1007/3-540-50403-6_40" @default.
- W2155763973 hasPublicationYear "1988" @default.
- W2155763973 type Work @default.
- W2155763973 sameAs 2155763973 @default.
- W2155763973 citedByCount "3" @default.
- W2155763973 crossrefType "book-chapter" @default.
- W2155763973 hasAuthorship W2155763973A5005271744 @default.
- W2155763973 hasAuthorship W2155763973A5014572316 @default.
- W2155763973 hasAuthorship W2155763973A5039484805 @default.
- W2155763973 hasConcept C101468663 @default.
- W2155763973 hasConcept C111498074 @default.
- W2155763973 hasConcept C112505250 @default.
- W2155763973 hasConcept C114614502 @default.
- W2155763973 hasConcept C156325763 @default.
- W2155763973 hasConcept C168773036 @default.
- W2155763973 hasConcept C173856430 @default.
- W2155763973 hasConcept C184337299 @default.
- W2155763973 hasConcept C199360897 @default.
- W2155763973 hasConcept C33923547 @default.
- W2155763973 hasConcept C41008148 @default.
- W2155763973 hasConcept C54732982 @default.
- W2155763973 hasConcept C74193536 @default.
- W2155763973 hasConcept C80444323 @default.
- W2155763973 hasConceptScore W2155763973C101468663 @default.
- W2155763973 hasConceptScore W2155763973C111498074 @default.
- W2155763973 hasConceptScore W2155763973C112505250 @default.
- W2155763973 hasConceptScore W2155763973C114614502 @default.
- W2155763973 hasConceptScore W2155763973C156325763 @default.
- W2155763973 hasConceptScore W2155763973C168773036 @default.
- W2155763973 hasConceptScore W2155763973C173856430 @default.
- W2155763973 hasConceptScore W2155763973C184337299 @default.
- W2155763973 hasConceptScore W2155763973C199360897 @default.
- W2155763973 hasConceptScore W2155763973C33923547 @default.
- W2155763973 hasConceptScore W2155763973C41008148 @default.
- W2155763973 hasConceptScore W2155763973C54732982 @default.
- W2155763973 hasConceptScore W2155763973C74193536 @default.
- W2155763973 hasConceptScore W2155763973C80444323 @default.
- W2155763973 hasLocation W21557639731 @default.
- W2155763973 hasOpenAccess W2155763973 @default.
- W2155763973 hasPrimaryLocation W21557639731 @default.
- W2155763973 hasRelatedWork W1491976353 @default.
- W2155763973 hasRelatedWork W1502761127 @default.
- W2155763973 hasRelatedWork W1532560632 @default.
- W2155763973 hasRelatedWork W1542090010 @default.
- W2155763973 hasRelatedWork W1811602476 @default.
- W2155763973 hasRelatedWork W2038396541 @default.
- W2155763973 hasRelatedWork W2053342841 @default.
- W2155763973 hasRelatedWork W2076248384 @default.
- W2155763973 hasRelatedWork W2106305471 @default.
- W2155763973 hasRelatedWork W2131622288 @default.
- W2155763973 hasRelatedWork W2139628421 @default.
- W2155763973 hasRelatedWork W2148043148 @default.
- W2155763973 hasRelatedWork W2474267977 @default.
- W2155763973 hasRelatedWork W248509102 @default.
- W2155763973 hasRelatedWork W2517585486 @default.
- W2155763973 hasRelatedWork W2733322776 @default.
- W2155763973 hasRelatedWork W3150067715 @default.
- W2155763973 hasRelatedWork W140979183 @default.
- W2155763973 hasRelatedWork W1530693522 @default.
- W2155763973 hasRelatedWork W2517578656 @default.
- W2155763973 isParatext "false" @default.
- W2155763973 isRetracted "false" @default.
- W2155763973 magId "2155763973" @default.
- W2155763973 workType "book-chapter" @default.