Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104953635> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2104953635 abstract "Using algebra for concurrency: Some approaches.- Some aspects of net theory.- From state machines to temporal logic: Specification methods for protocol standards.- A practical approach to the analysis of concurrent systems.- The problem set.- Specifying problem one using the 'failure' sets model for CSP and deriving CSP processes which meet this specification.- Two-way channel with disconnect.- Workshop on analysis of concurrent systems attempt at problem 3: The firing squad.- Parallel combinator reduction machine.- Workshop on analysis of concurrent systems attempt at problem 8: Mixing synchronous and asynchronous input.- Workshop on analysis of concurrent systems attempt at problem 10: The matrix switch.- On the specification of the firing squad problem.- Towards the hierarchical, temporal logic, specification of concurrent systems.- Two way channel with disconnect.- An example of specification and verification in CESAR.- Trace theory and the specification of concurrent systems.- Syntax and informal semantics of DyNe, a parallel language.- Examples of a real-time temporal logic specification.- Problems from the workshop on the analysis of concurrent systems.- A simple railway system.- Description and analysis using CIRCAL.- Firing squad.- Specification of a simplified Network Service in Z (Problem 2).- Specification of a simplified Network Service in CSP (Problem 2).- A solution to problem 7 - parallel combinator reduction machine -.- A temporal analysis of some concurrent systems.- Solutions to problem no. 2.- A CSP solution to the trains problem.- The train set problem.- Conclusions." @default.
- W2104953635 created "2016-06-24" @default.
- W2104953635 creator A5018552361 @default.
- W2104953635 creator A5046953388 @default.
- W2104953635 creator A5066403409 @default.
- W2104953635 date "1985-12-16" @default.
- W2104953635 modified "2023-09-27" @default.
- W2104953635 title "The Analysis of Concurrent Systems: Cambridge, September 12-16, 1983. Proceedings" @default.
- W2104953635 hasPublicationYear "1985" @default.
- W2104953635 type Work @default.
- W2104953635 sameAs 2104953635 @default.
- W2104953635 citedByCount "0" @default.
- W2104953635 crossrefType "book" @default.
- W2104953635 hasAuthorship W2104953635A5018552361 @default.
- W2104953635 hasAuthorship W2104953635A5046953388 @default.
- W2104953635 hasAuthorship W2104953635A5066403409 @default.
- W2104953635 hasConcept C115903868 @default.
- W2104953635 hasConcept C116253237 @default.
- W2104953635 hasConcept C150495011 @default.
- W2104953635 hasConcept C151319957 @default.
- W2104953635 hasConcept C159023740 @default.
- W2104953635 hasConcept C184337299 @default.
- W2104953635 hasConcept C193702766 @default.
- W2104953635 hasConcept C199360897 @default.
- W2104953635 hasConcept C201677973 @default.
- W2104953635 hasConcept C25016198 @default.
- W2104953635 hasConcept C31258907 @default.
- W2104953635 hasConcept C41008148 @default.
- W2104953635 hasConcept C79678938 @default.
- W2104953635 hasConcept C80444323 @default.
- W2104953635 hasConcept C84651959 @default.
- W2104953635 hasConceptScore W2104953635C115903868 @default.
- W2104953635 hasConceptScore W2104953635C116253237 @default.
- W2104953635 hasConceptScore W2104953635C150495011 @default.
- W2104953635 hasConceptScore W2104953635C151319957 @default.
- W2104953635 hasConceptScore W2104953635C159023740 @default.
- W2104953635 hasConceptScore W2104953635C184337299 @default.
- W2104953635 hasConceptScore W2104953635C193702766 @default.
- W2104953635 hasConceptScore W2104953635C199360897 @default.
- W2104953635 hasConceptScore W2104953635C201677973 @default.
- W2104953635 hasConceptScore W2104953635C25016198 @default.
- W2104953635 hasConceptScore W2104953635C31258907 @default.
- W2104953635 hasConceptScore W2104953635C41008148 @default.
- W2104953635 hasConceptScore W2104953635C79678938 @default.
- W2104953635 hasConceptScore W2104953635C80444323 @default.
- W2104953635 hasConceptScore W2104953635C84651959 @default.
- W2104953635 hasLocation W21049536351 @default.
- W2104953635 hasOpenAccess W2104953635 @default.
- W2104953635 hasPrimaryLocation W21049536351 @default.
- W2104953635 hasRelatedWork W1480372382 @default.
- W2104953635 hasRelatedWork W1493876275 @default.
- W2104953635 hasRelatedWork W1494559701 @default.
- W2104953635 hasRelatedWork W1499715382 @default.
- W2104953635 hasRelatedWork W1503969427 @default.
- W2104953635 hasRelatedWork W1531715720 @default.
- W2104953635 hasRelatedWork W1539649080 @default.
- W2104953635 hasRelatedWork W1542369348 @default.
- W2104953635 hasRelatedWork W1550403972 @default.
- W2104953635 hasRelatedWork W1568929251 @default.
- W2104953635 hasRelatedWork W1574819315 @default.
- W2104953635 hasRelatedWork W1575764074 @default.
- W2104953635 hasRelatedWork W1577192644 @default.
- W2104953635 hasRelatedWork W1602145527 @default.
- W2104953635 hasRelatedWork W1606441988 @default.
- W2104953635 hasRelatedWork W1990797501 @default.
- W2104953635 hasRelatedWork W2001503652 @default.
- W2104953635 hasRelatedWork W2397557541 @default.
- W2104953635 hasRelatedWork W2963640637 @default.
- W2104953635 hasRelatedWork W73549669 @default.
- W2104953635 isParatext "false" @default.
- W2104953635 isRetracted "false" @default.
- W2104953635 magId "2104953635" @default.
- W2104953635 workType "book" @default.