Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113443412> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2113443412 abstract "We define a process algebra DS@ to formally describe distributed systems and a process logic SP@ to formally describe their specifications. Then, we present a method to synthesize a distributed system (described in DS@) from given specifications (described in SP@). The main contribution is to show how to check the satisfiability of process logic in which concurrent behavior is distinct from interleaving behavior (i.e. considering true concurrency)." @default.
- W2113443412 created "2016-06-24" @default.
- W2113443412 creator A5042230213 @default.
- W2113443412 creator A5080018408 @default.
- W2113443412 date "2002-11-11" @default.
- W2113443412 modified "2023-09-25" @default.
- W2113443412 title "A process logic for distributed system synthesis" @default.
- W2113443412 cites W106780312 @default.
- W2113443412 cites W1479793913 @default.
- W2113443412 cites W1502451640 @default.
- W2113443412 cites W1503973138 @default.
- W2113443412 cites W1514630934 @default.
- W2113443412 cites W1532326694 @default.
- W2113443412 cites W1566946341 @default.
- W2113443412 cites W1584102424 @default.
- W2113443412 cites W2040127143 @default.
- W2113443412 cites W2161168350 @default.
- W2113443412 cites W2176882324 @default.
- W2113443412 cites W2913408576 @default.
- W2113443412 cites W2914853555 @default.
- W2113443412 cites W3144368627 @default.
- W2113443412 cites W374826731 @default.
- W2113443412 doi "https://doi.org/10.1109/apsec.2000.896684" @default.
- W2113443412 hasPublicationYear "2002" @default.
- W2113443412 type Work @default.
- W2113443412 sameAs 2113443412 @default.
- W2113443412 citedByCount "1" @default.
- W2113443412 crossrefType "proceedings-article" @default.
- W2113443412 hasAuthorship W2113443412A5042230213 @default.
- W2113443412 hasAuthorship W2113443412A5080018408 @default.
- W2113443412 hasBestOaLocation W21134434122 @default.
- W2113443412 hasConcept C111919701 @default.
- W2113443412 hasConcept C120314980 @default.
- W2113443412 hasConcept C161771561 @default.
- W2113443412 hasConcept C168773769 @default.
- W2113443412 hasConcept C193702766 @default.
- W2113443412 hasConcept C199360897 @default.
- W2113443412 hasConcept C25016198 @default.
- W2113443412 hasConcept C28034677 @default.
- W2113443412 hasConcept C41008148 @default.
- W2113443412 hasConcept C80444323 @default.
- W2113443412 hasConcept C98045186 @default.
- W2113443412 hasConceptScore W2113443412C111919701 @default.
- W2113443412 hasConceptScore W2113443412C120314980 @default.
- W2113443412 hasConceptScore W2113443412C161771561 @default.
- W2113443412 hasConceptScore W2113443412C168773769 @default.
- W2113443412 hasConceptScore W2113443412C193702766 @default.
- W2113443412 hasConceptScore W2113443412C199360897 @default.
- W2113443412 hasConceptScore W2113443412C25016198 @default.
- W2113443412 hasConceptScore W2113443412C28034677 @default.
- W2113443412 hasConceptScore W2113443412C41008148 @default.
- W2113443412 hasConceptScore W2113443412C80444323 @default.
- W2113443412 hasConceptScore W2113443412C98045186 @default.
- W2113443412 hasLocation W21134434121 @default.
- W2113443412 hasLocation W21134434122 @default.
- W2113443412 hasOpenAccess W2113443412 @default.
- W2113443412 hasPrimaryLocation W21134434121 @default.
- W2113443412 hasRelatedWork W1486941786 @default.
- W2113443412 hasRelatedWork W1493775129 @default.
- W2113443412 hasRelatedWork W1499503385 @default.
- W2113443412 hasRelatedWork W1499990527 @default.
- W2113443412 hasRelatedWork W1523949373 @default.
- W2113443412 hasRelatedWork W1530324887 @default.
- W2113443412 hasRelatedWork W1534027338 @default.
- W2113443412 hasRelatedWork W1547075756 @default.
- W2113443412 hasRelatedWork W1570366700 @default.
- W2113443412 hasRelatedWork W1603135579 @default.
- W2113443412 hasRelatedWork W1710237860 @default.
- W2113443412 hasRelatedWork W1970603830 @default.
- W2113443412 hasRelatedWork W2293504102 @default.
- W2113443412 hasRelatedWork W2798452697 @default.
- W2113443412 hasRelatedWork W2892050133 @default.
- W2113443412 hasRelatedWork W2954542115 @default.
- W2113443412 hasRelatedWork W2962750489 @default.
- W2113443412 hasRelatedWork W2969910354 @default.
- W2113443412 hasRelatedWork W3123603818 @default.
- W2113443412 hasRelatedWork W3159097109 @default.
- W2113443412 isParatext "false" @default.
- W2113443412 isRetracted "false" @default.
- W2113443412 magId "2113443412" @default.
- W2113443412 workType "article" @default.