0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Algebra of Communicating Processes - Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes,... Algebra of Communicating Processes - Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16-17 May 1994 (Paperback, Softcover reprint of the original 1st ed. 1995)
Alban Ponse, Christiaan Verhoef, Sebastiaan F.M.Van Vlijmen
R1,493 Discovery Miles 14 930 Ships in 10 - 15 working days

ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, Report IW 235/83, Mathematical Centre, Amsterdam, 1983. It serves as an introduction to the remainder of the proceedings and, indeed, as a general introduction to ACP. An extended abstract of this paper is published under the same title in the ICALP' 84 proceedings. Of the re maining contributions, three were submitted by the invited speakers and the others were selected by the programme committee. As for the presentations, Jos Baeten, Rob van Glabbeek, Jan Friso Groote, and Frits Vaandrager were each invited to deliver a lecture. A paper relating to Frits Vaandrager's lecture has already been submitted for publication elsewhere and is not, therefore, included in these pro ceedings. Gabriel Ciobanu, one of our guests, gave an impression of his work in an extra lecture. Furthermore, ten presentations were given on the basis of selected papers."

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Juta's Complete Textbook Of Medical…
J.D. Mokoena, M. Chauke, … Paperback  (2)
R1,450 R1,220 Discovery Miles 12 200
Quinn's Principles and Practice of Nurse…
Suzanne Hughes, Francis Quinn Paperback R1,079 R981 Discovery Miles 9 810
Dosage - A Guiding Principle for Health…
J. David Johnson Hardcover R2,708 Discovery Miles 27 080
Research Anthology on Pediatric and…
Information Resources Management Association Hardcover R19,637 Discovery Miles 196 370
Mental Health Nursing - A South African…
Lyn Middleton Paperback  (2)
R957 R826 Discovery Miles 8 260
Pharmacology for nurses
A. Dreyer, R. Kharwa, … Paperback  (1)
R525 R463 Discovery Miles 4 630
Recent Advances in Innovative Magnetic…
Sudip Mukherjee Hardcover R1,419 Discovery Miles 14 190
Pharmacology Made Incredibly Easy
Lippincott Williams & Wilkins Paperback R858 Discovery Miles 8 580
Practical Health Promotion
John Hubley, June Copeman, … Paperback R654 Discovery Miles 6 540
Fast Facts about LGBTQ+ Care for Nurses…
Tyler Traister Paperback R1,140 R1,046 Discovery Miles 10 460

 

Partners