Matches in SemOpenAlex for { <https://semopenalex.org/work/W2286031956> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2286031956 abstract "In recent years many competing models of concurrency have been proposed, but a unified theory of the semantics of concurrent processes is yet to emerge. The aim of this work is to investigate some of these models from the point of view of categorical logic, specifically the relationship between theories and models. In categorical terms, a theory is a category with certain completeness properties and a model is a functor preserving those properties. We show that the familiar categories of models of concurrency are equivalent to models of geometric theories. We explore the relationship between duality of schedules and automata, geometric logic and categories of embeddings in relating the behavior of a concurrent system with its specification. In the process a degree of uniformity is seen to emerge in the various models." @default.
- W2286031956 created "2016-06-24" @default.
- W2286031956 creator A5028219180 @default.
- W2286031956 date "1993-01-11" @default.
- W2286031956 modified "2023-09-27" @default.
- W2286031956 title "Categorical logic in models of concurrency" @default.
- W2286031956 hasPublicationYear "1993" @default.
- W2286031956 type Work @default.
- W2286031956 sameAs 2286031956 @default.
- W2286031956 citedByCount "0" @default.
- W2286031956 crossrefType "journal-article" @default.
- W2286031956 hasAuthorship W2286031956A5028219180 @default.
- W2286031956 hasConcept C105795698 @default.
- W2286031956 hasConcept C112505250 @default.
- W2286031956 hasConcept C118615104 @default.
- W2286031956 hasConcept C156772000 @default.
- W2286031956 hasConcept C184337299 @default.
- W2286031956 hasConcept C193702766 @default.
- W2286031956 hasConcept C199360897 @default.
- W2286031956 hasConcept C33923547 @default.
- W2286031956 hasConcept C41008148 @default.
- W2286031956 hasConcept C5274069 @default.
- W2286031956 hasConcept C80444323 @default.
- W2286031956 hasConceptScore W2286031956C105795698 @default.
- W2286031956 hasConceptScore W2286031956C112505250 @default.
- W2286031956 hasConceptScore W2286031956C118615104 @default.
- W2286031956 hasConceptScore W2286031956C156772000 @default.
- W2286031956 hasConceptScore W2286031956C184337299 @default.
- W2286031956 hasConceptScore W2286031956C193702766 @default.
- W2286031956 hasConceptScore W2286031956C199360897 @default.
- W2286031956 hasConceptScore W2286031956C33923547 @default.
- W2286031956 hasConceptScore W2286031956C41008148 @default.
- W2286031956 hasConceptScore W2286031956C5274069 @default.
- W2286031956 hasConceptScore W2286031956C80444323 @default.
- W2286031956 hasLocation W22860319561 @default.
- W2286031956 hasOpenAccess W2286031956 @default.
- W2286031956 hasPrimaryLocation W22860319561 @default.
- W2286031956 hasRelatedWork W1561851616 @default.
- W2286031956 hasRelatedWork W1584137897 @default.
- W2286031956 hasRelatedWork W2111352036 @default.
- W2286031956 hasRelatedWork W2142191419 @default.
- W2286031956 hasRelatedWork W2165718795 @default.
- W2286031956 hasRelatedWork W2178670902 @default.
- W2286031956 hasRelatedWork W2241066281 @default.
- W2286031956 hasRelatedWork W2386439575 @default.
- W2286031956 hasRelatedWork W2479478345 @default.
- W2286031956 hasRelatedWork W2575300064 @default.
- W2286031956 hasRelatedWork W2760715935 @default.
- W2286031956 hasRelatedWork W2805099392 @default.
- W2286031956 hasRelatedWork W2911538936 @default.
- W2286031956 hasRelatedWork W2949605788 @default.
- W2286031956 hasRelatedWork W2950833999 @default.
- W2286031956 hasRelatedWork W2951320552 @default.
- W2286031956 hasRelatedWork W3015355472 @default.
- W2286031956 hasRelatedWork W3023121176 @default.
- W2286031956 hasRelatedWork W3036168088 @default.
- W2286031956 hasRelatedWork W2185650591 @default.
- W2286031956 isParatext "false" @default.
- W2286031956 isRetracted "false" @default.
- W2286031956 magId "2286031956" @default.
- W2286031956 workType "article" @default.