Coverart for item
The Resource Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994, A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)

Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994, A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)

Label
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994
Title
Algebra of communicating processes
Title remainder
proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994
Statement of responsibility
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Action
committed to retain for EAST
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.58
LC item number
.W675 1994
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1994
http://bibfra.me/vocab/lite/meetingName
Workshop on the Algebra of Communicating Processes
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1955-
  • 1962-
  • 1963-
http://library.link/vocab/relatedWorkOrContributorName
  • Ponse, A.
  • Verhoef, C.
  • Vlijmen, S. F. M. van
  • British Computer Society
http://library.link/vocab/subjectName
  • Parallel processing (Electronic computers)
  • Real-time data processing
  • Algebra
  • Algebraische Spezifikation
  • Kongreß
  • Nebenläufigkeit
  • Prozessalgebra
  • Algebra
  • Parallel processing (Electronic computers)
  • Real-time data processing
Label
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994, A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
Instantiates
Publication
Note
"Published in collaboration with the British Computer Society."
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The algebra of recursively defined processes and the algebra of regular processes / J.A. Bergstra and J.W. Klop -- The syntax and semantics of [micro]CRL / J.F. Groote and A. Ponse -- A correctness proof of the bakery protocol in [micro]CRL / J.F. Groote and H. Korver -- Inductive proofs with sets, and some applications in process algebra / J.J. van Wamel -- Formal semantics of interworkings with discrete absolute time / J. van den Brink and W.O.D. Griffioen -- The ABP and CABP : a comparison of performances in real time process algebra / J.A. Hillebrand -- Real time process algebra with infinitesimals / J.C.M. Baeten and J.A. Bergstra -- On the expressiveness of ACP (extended abstract) / R.J. van Glabbeek -- Definability with the state operator in process algebra / J. Blanco -- Normed BPP and BPA / J. Blanco -- A real time [micro]CRL specification of a system for traffic regulation at signalized intersections / M.J. Koens and L.H. Oei -- An experiment in implementing process algebra specifications in a procedural language / C. Groza -- Graph isomorphism models for non interleaving process algebra / J.C.M. Baeten and J.A. Bergstra -- Process specification in a UNITY format / J.J. Brunekreef -- Algebraic specification of dynamic leader election protocols in broadcast networks / J.J. Brunekreef ... [et al.]
Dimensions
24 cm.
Extent
x, 357 p.
Isbn
9780387199092
Isbn Type
(acid-free)
Lccn
94039829
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
ill.
System control number
  • (OCoLC)31436637
  • (OCoLC)ocm31436637
Label
Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994, A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
Publication
Note
"Published in collaboration with the British Computer Society."
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
The algebra of recursively defined processes and the algebra of regular processes / J.A. Bergstra and J.W. Klop -- The syntax and semantics of [micro]CRL / J.F. Groote and A. Ponse -- A correctness proof of the bakery protocol in [micro]CRL / J.F. Groote and H. Korver -- Inductive proofs with sets, and some applications in process algebra / J.J. van Wamel -- Formal semantics of interworkings with discrete absolute time / J. van den Brink and W.O.D. Griffioen -- The ABP and CABP : a comparison of performances in real time process algebra / J.A. Hillebrand -- Real time process algebra with infinitesimals / J.C.M. Baeten and J.A. Bergstra -- On the expressiveness of ACP (extended abstract) / R.J. van Glabbeek -- Definability with the state operator in process algebra / J. Blanco -- Normed BPP and BPA / J. Blanco -- A real time [micro]CRL specification of a system for traffic regulation at signalized intersections / M.J. Koens and L.H. Oei -- An experiment in implementing process algebra specifications in a procedural language / C. Groza -- Graph isomorphism models for non interleaving process algebra / J.C.M. Baeten and J.A. Bergstra -- Process specification in a UNITY format / J.J. Brunekreef -- Algebraic specification of dynamic leader election protocols in broadcast networks / J.J. Brunekreef ... [et al.]
Dimensions
24 cm.
Extent
x, 357 p.
Isbn
9780387199092
Isbn Type
(acid-free)
Lccn
94039829
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
ill.
System control number
  • (OCoLC)31436637
  • (OCoLC)ocm31436637

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...