CONCUR'93
4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings
Paperback Engels 1993 1993e druk 9783540572084Samenvatting
This volume contains the proceedings of CONCUR '93, the
fourth in an annual series of conferences devoted to the
study of concurrency. The basic aim of the CONCUR
conferences is to communicate advances in concurrency theory
and applications.
The volume contains 31 papers selected from 113submissions,
together with four invited papers and two abstracts of
invited talks. The invited talks are: "The lambda-calculus
with multiplicities" (extended abstract) by G rard Boudol,
"A pi-calculus semantics for an object-based design
notation" by Cliff B. Jones, "Partial-order methods for
temporal verification" by Pierre Wolper and Patrice
Godefroid, "Non-interleaving process algebra" by Jos C.M.
Baetenand Jan A. Bergstra, "Loop parallelization in the
polytope model" by Christian Lengauer, and "Structured
operational semantics for process algebras and equational
axiom systems" (abstract) by Bard Bloom.
Specificaties
Lezersrecensies
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