Matches in SemOpenAlex for { <https://semopenalex.org/work/W1604495149> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1604495149 endingPage "401" @default.
- W1604495149 startingPage "398" @default.
- W1604495149 abstract "The Concurrency Factory supports the specification, simulation, verification, and implementation of real-time concurrent systems such as communication protocols and piocess control systems. While the system uses process algebra as its underlying design formalism, the primary focus of the project is practical utility: the tools should be usable by engineers who are not familiar with formal models of concurrency, and it should be capable of handling large-scale systems such as those found in the telecommunications industry. This paper serves as a status report for the Factory project and briefly describes a case-study involving the GNU UUCP i-protocol." @default.
- W1604495149 created "2016-06-24" @default.
- W1604495149 creator A5016408902 @default.
- W1604495149 creator A5039202410 @default.
- W1604495149 creator A5077709373 @default.
- W1604495149 creator A5082105260 @default.
- W1604495149 date "1996-01-01" @default.
- W1604495149 modified "2023-10-16" @default.
- W1604495149 title "The Concurrency Factory: A development environment for concurrent systems" @default.
- W1604495149 cites W1502713995 @default.
- W1604495149 cites W1791618115 @default.
- W1604495149 cites W2010152469 @default.
- W1604495149 cites W2011924693 @default.
- W1604495149 cites W2099529102 @default.
- W1604495149 doi "https://doi.org/10.1007/3-540-61474-5_88" @default.
- W1604495149 hasPublicationYear "1996" @default.
- W1604495149 type Work @default.
- W1604495149 sameAs 1604495149 @default.
- W1604495149 citedByCount "29" @default.
- W1604495149 countsByYear W16044951492018 @default.
- W1604495149 countsByYear W16044951492019 @default.
- W1604495149 countsByYear W16044951492022 @default.
- W1604495149 crossrefType "book-chapter" @default.
- W1604495149 hasAuthorship W1604495149A5016408902 @default.
- W1604495149 hasAuthorship W1604495149A5039202410 @default.
- W1604495149 hasAuthorship W1604495149A5077709373 @default.
- W1604495149 hasAuthorship W1604495149A5082105260 @default.
- W1604495149 hasBestOaLocation W16044951491 @default.
- W1604495149 hasConcept C115903868 @default.
- W1604495149 hasConcept C127413603 @default.
- W1604495149 hasConcept C136764020 @default.
- W1604495149 hasConcept C142362112 @default.
- W1604495149 hasConcept C150495011 @default.
- W1604495149 hasConcept C153349607 @default.
- W1604495149 hasConcept C155214134 @default.
- W1604495149 hasConcept C156325763 @default.
- W1604495149 hasConcept C161771561 @default.
- W1604495149 hasConcept C184337299 @default.
- W1604495149 hasConcept C193702766 @default.
- W1604495149 hasConcept C199360897 @default.
- W1604495149 hasConcept C21880701 @default.
- W1604495149 hasConcept C26713055 @default.
- W1604495149 hasConcept C2780615836 @default.
- W1604495149 hasConcept C40149104 @default.
- W1604495149 hasConcept C41008148 @default.
- W1604495149 hasConcept C54725748 @default.
- W1604495149 hasConcept C558565934 @default.
- W1604495149 hasConcept C73301696 @default.
- W1604495149 hasConcept C78382760 @default.
- W1604495149 hasConceptScore W1604495149C115903868 @default.
- W1604495149 hasConceptScore W1604495149C127413603 @default.
- W1604495149 hasConceptScore W1604495149C136764020 @default.
- W1604495149 hasConceptScore W1604495149C142362112 @default.
- W1604495149 hasConceptScore W1604495149C150495011 @default.
- W1604495149 hasConceptScore W1604495149C153349607 @default.
- W1604495149 hasConceptScore W1604495149C155214134 @default.
- W1604495149 hasConceptScore W1604495149C156325763 @default.
- W1604495149 hasConceptScore W1604495149C161771561 @default.
- W1604495149 hasConceptScore W1604495149C184337299 @default.
- W1604495149 hasConceptScore W1604495149C193702766 @default.
- W1604495149 hasConceptScore W1604495149C199360897 @default.
- W1604495149 hasConceptScore W1604495149C21880701 @default.
- W1604495149 hasConceptScore W1604495149C26713055 @default.
- W1604495149 hasConceptScore W1604495149C2780615836 @default.
- W1604495149 hasConceptScore W1604495149C40149104 @default.
- W1604495149 hasConceptScore W1604495149C41008148 @default.
- W1604495149 hasConceptScore W1604495149C54725748 @default.
- W1604495149 hasConceptScore W1604495149C558565934 @default.
- W1604495149 hasConceptScore W1604495149C73301696 @default.
- W1604495149 hasConceptScore W1604495149C78382760 @default.
- W1604495149 hasLocation W16044951491 @default.
- W1604495149 hasOpenAccess W1604495149 @default.
- W1604495149 hasPrimaryLocation W16044951491 @default.
- W1604495149 hasRelatedWork W1496993747 @default.
- W1604495149 hasRelatedWork W1548537923 @default.
- W1604495149 hasRelatedWork W1562133699 @default.
- W1604495149 hasRelatedWork W1911483104 @default.
- W1604495149 hasRelatedWork W2012923552 @default.
- W1604495149 hasRelatedWork W2083338789 @default.
- W1604495149 hasRelatedWork W2105399249 @default.
- W1604495149 hasRelatedWork W4206956498 @default.
- W1604495149 hasRelatedWork W4238772279 @default.
- W1604495149 hasRelatedWork W2804226765 @default.
- W1604495149 isParatext "false" @default.
- W1604495149 isRetracted "false" @default.
- W1604495149 magId "1604495149" @default.
- W1604495149 workType "book-chapter" @default.