R. Milner
A Calculus of Communicating Systems
Paperback Engels 1980 1980e druk 9783540102359Levertijd ongeveer 9 werkdagen
Gratis verzonden
Specificaties
ISBN13:9783540102359
Taal:Engels
Bindwijze:paperback
Aantal pagina's:174
Uitgever:Springer Berlin Heidelberg
Druk:1980
Hoofdrubriek:Inkoop en logistiek, Inkoop en logistiek, IT-management / ICT
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.
Anderen die dit kochten, kochten ook
-
Nigel Slack€ 92,14 -
Hein van der Horst€ 92,65
-
Lee Krajewski€ 90,94
-
Sunil Chopra€ 92,14
-
Arjan van Weele€ 84,25
-
Jan Engelbregt€ 78,50
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan