<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Process algebra</title>
    <subTitle>equational theories of communicating processes</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Baeten, J. C. M.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Basten, Twan.</namePart>
  </name>
  <name type="personal">
    <namePart>Reniers, M. A. (Michel Adriaan)</namePart>
    <namePart type="date">1970-</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <genre authority="marc">bibliography</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">enk</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Cambridge</placeTerm>
    </place>
    <place>
      <placeTerm type="text">New York</placeTerm>
    </place>
    <publisher>Cambridge University Press</publisher>
    <dateIssued>2010</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>xvi, 460 p. : ill. ; 24 cm.</extent>
  </physicalDescription>
  <note type="statement of responsibility">J.C.M. Baeten, T. Basten, M.A. Reniers.</note>
  <note>Includes bibliographical references and indexes.</note>
  <subject authority="lcsh">
    <topic>Parallel processing (Electronic computers)</topic>
  </subject>
  <subject authority="lcsh">
    <topic>Electronic data processing</topic>
    <topic>Distributed processing</topic>
  </subject>
  <classification authority="lcc">QA76.58 .B34 2010</classification>
  <classification authority="ddc" edition="22">004.0151</classification>
  <relatedItem type="series">
    <titleInfo>
      <title>Cambridge tracts in theoretical computer science ; 50</title>
    </titleInfo>
  </relatedItem>
  <identifier type="isbn">9780521820493 (hbk.)</identifier>
  <identifier type="isbn">0521820499 (hbk.)</identifier>
  <identifier type="lccn">2010275481</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">UKM</recordContentSource>
    <recordCreationDate encoding="marc">100122</recordCreationDate>
    <recordChangeDate encoding="iso8601">20180523070549.0</recordChangeDate>
    <recordIdentifier>16065399</recordIdentifier>
  </recordInfo>
</mods>
