Matches in SemOpenAlex for { <https://semopenalex.org/work/W1900118484> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1900118484 abstract "A temporal-causal framework that addresses specification, construction and evolution of concurrent and distributed systems in a unified way is presented. A pluralistic approach to specification is pursued, and three different views are used to capture the requirements of the system: informal, causal, temporal-causal. The temporal-causal view is based on the integration of two well-known techniques, temporal logic and Petri nets. A component specification language is used when specifying the individual components of the system and a system specification language deals with the structuring (configuration) of components. System evolution is briefly addressed. >" @default.
- W1900118484 created "2016-06-24" @default.
- W1900118484 creator A5046484952 @default.
- W1900118484 creator A5088208092 @default.
- W1900118484 date "2002-12-04" @default.
- W1900118484 modified "2023-10-11" @default.
- W1900118484 title "Temporal-causal system specification" @default.
- W1900118484 cites W1549122259 @default.
- W1900118484 cites W1957550856 @default.
- W1900118484 cites W2017300403 @default.
- W1900118484 cites W2082970543 @default.
- W1900118484 cites W2086070079 @default.
- W1900118484 cites W2096039823 @default.
- W1900118484 cites W2096870603 @default.
- W1900118484 cites W2117867006 @default.
- W1900118484 cites W2130025446 @default.
- W1900118484 cites W2156436570 @default.
- W1900118484 cites W2174637891 @default.
- W1900118484 cites W2241733273 @default.
- W1900118484 cites W2631739413 @default.
- W1900118484 cites W2913217271 @default.
- W1900118484 cites W50233445 @default.
- W1900118484 cites W1755464305 @default.
- W1900118484 doi "https://doi.org/10.1109/cmpeur.1990.113627" @default.
- W1900118484 hasPublicationYear "2002" @default.
- W1900118484 type Work @default.
- W1900118484 sameAs 1900118484 @default.
- W1900118484 citedByCount "3" @default.
- W1900118484 crossrefType "proceedings-article" @default.
- W1900118484 hasAuthorship W1900118484A5046484952 @default.
- W1900118484 hasAuthorship W1900118484A5088208092 @default.
- W1900118484 hasConcept C10138342 @default.
- W1900118484 hasConcept C115903868 @default.
- W1900118484 hasConcept C116253237 @default.
- W1900118484 hasConcept C11648818 @default.
- W1900118484 hasConcept C121332964 @default.
- W1900118484 hasConcept C162324750 @default.
- W1900118484 hasConcept C162670838 @default.
- W1900118484 hasConcept C168167062 @default.
- W1900118484 hasConcept C199360897 @default.
- W1900118484 hasConcept C201677973 @default.
- W1900118484 hasConcept C25016198 @default.
- W1900118484 hasConcept C2775945657 @default.
- W1900118484 hasConcept C38677869 @default.
- W1900118484 hasConcept C41008148 @default.
- W1900118484 hasConcept C4777664 @default.
- W1900118484 hasConcept C80444323 @default.
- W1900118484 hasConcept C84651959 @default.
- W1900118484 hasConcept C90069079 @default.
- W1900118484 hasConcept C97355855 @default.
- W1900118484 hasConceptScore W1900118484C10138342 @default.
- W1900118484 hasConceptScore W1900118484C115903868 @default.
- W1900118484 hasConceptScore W1900118484C116253237 @default.
- W1900118484 hasConceptScore W1900118484C11648818 @default.
- W1900118484 hasConceptScore W1900118484C121332964 @default.
- W1900118484 hasConceptScore W1900118484C162324750 @default.
- W1900118484 hasConceptScore W1900118484C162670838 @default.
- W1900118484 hasConceptScore W1900118484C168167062 @default.
- W1900118484 hasConceptScore W1900118484C199360897 @default.
- W1900118484 hasConceptScore W1900118484C201677973 @default.
- W1900118484 hasConceptScore W1900118484C25016198 @default.
- W1900118484 hasConceptScore W1900118484C2775945657 @default.
- W1900118484 hasConceptScore W1900118484C38677869 @default.
- W1900118484 hasConceptScore W1900118484C41008148 @default.
- W1900118484 hasConceptScore W1900118484C4777664 @default.
- W1900118484 hasConceptScore W1900118484C80444323 @default.
- W1900118484 hasConceptScore W1900118484C84651959 @default.
- W1900118484 hasConceptScore W1900118484C90069079 @default.
- W1900118484 hasConceptScore W1900118484C97355855 @default.
- W1900118484 hasLocation W19001184841 @default.
- W1900118484 hasOpenAccess W1900118484 @default.
- W1900118484 hasPrimaryLocation W19001184841 @default.
- W1900118484 hasRelatedWork W1514667960 @default.
- W1900118484 hasRelatedWork W1550457882 @default.
- W1900118484 hasRelatedWork W189040458 @default.
- W1900118484 hasRelatedWork W1910416941 @default.
- W1900118484 hasRelatedWork W1962435249 @default.
- W1900118484 hasRelatedWork W2022718851 @default.
- W1900118484 hasRelatedWork W2055009016 @default.
- W1900118484 hasRelatedWork W2076749639 @default.
- W1900118484 hasRelatedWork W2093785381 @default.
- W1900118484 hasRelatedWork W2105638069 @default.
- W1900118484 hasRelatedWork W2114539492 @default.
- W1900118484 hasRelatedWork W2117444778 @default.
- W1900118484 hasRelatedWork W2122696369 @default.
- W1900118484 hasRelatedWork W2127339343 @default.
- W1900118484 hasRelatedWork W2143654425 @default.
- W1900118484 hasRelatedWork W2155584071 @default.
- W1900118484 hasRelatedWork W2158099024 @default.
- W1900118484 hasRelatedWork W2231655550 @default.
- W1900118484 hasRelatedWork W2978334207 @default.
- W1900118484 hasRelatedWork W3047964449 @default.
- W1900118484 isParatext "false" @default.
- W1900118484 isRetracted "false" @default.
- W1900118484 magId "1900118484" @default.
- W1900118484 workType "article" @default.