Record ID | marc_records_scriblio_net/part25.dat:14937215:1319 |
Source | Scriblio |
Download Link | /show-records/marc_records_scriblio_net/part25.dat:14937215:1319?format=raw |
LEADER: 01319cam 2200313 a 4500
001 95032985
003 DLC
005 20020829200906.0
008 950622s1995 caua b 101 0 eng
010 $a 95032985
020 $a188152695X
020 $a1881526968 (pbk.)
040 $aDLC$cDLC$dDLC
050 00 $aQA267.3$b.M63 1995
082 00 $a005.13/1$220
245 00 $aModal logic and process algebra :$ba bisimulation perspective /$cedited by Alban Ponse, Maarten de Rijke & Yde Venema.
260 $aStanford, Calif. :$bCSLI Publications,$cc1995.
300 $axix, 327 p. :$bill. ;$c24 cm.
440 0 $aCSLI lecture notes ;$vno. 53
500 $aPapers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.
504 $aIncludes bibliographical references and index.
650 0 $aFormal languages$xCongresses.
650 0 $aModality (Logic)$xCongresses.
650 0 $aParallel processing (Electronic computers)$xCongresses.
700 1 $aPonse, A.$q(Alban),$d1955-
700 1 $aRijke, Maarten de.
700 1 $aVenema, Yde,$d1963-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam027/95032985.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam022/95032985.html