Process algebra : equational theories of communicating processes /

Bibliographic Details
Main Author:	Baeten, Josephus Cornelis Maria
Other Authors:	Basten, Twan, 1969-, Reniers, Michel Adriaan, 1970-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University, 2010.
Series:	Cambridge tracts in theoretical computer science ; 50
Subjects:	Programación concurrente. Verificación de programas. Concurrent programming. Process management. Program verification.

MARC


LEADER	00000cam a22000005a 4500
001	16065399
003	AR_CdUFM
005	20190827172141.0
008	100122s2010 enka b 001 0 eng
020			\|a 9780521820493
040			\|a UKM \|c UKM \|d BTCTA \|d YDXCP \|d C#P \|d BWX \|d DLC
100	1		\|9 843 \|a Baeten, Josephus Cornelis Maria
245	1	0	\|a Process algebra : \|b equational theories of communicating processes / \|c J.C.M. Baeten, Twan Basten, Michel Adriaan Reniers.
260			\|a Cambridge ; \|a New York : \|b Cambridge University, \|c 2010.
300			\|a xvi, 460 p. : \|b il. ; \|c 24 cm.
490	0		\|a Cambridge tracts in theoretical computer science ; \|v 50
504			\|a Includes bibliographical references and indexes.
650		4	\|a Programación concurrente.
650		4	\|a Verificación de programas.
650		4	\|a Concurrent programming.
650		4	\|a Process management.
650		4	\|a Program verification.
700	1		\|9 1121 \|a Basten, Twan, \|d 1969-
700	1		\|a Reniers, Michel Adriaan, \|d 1970- \|9 14241
942			\|c LIBRO \|2
945			\|a MCR \|d 2010-06-15
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_D13_B142 \|7 0 \|9 19675 \|a MMA \|b MMA \|c 4 \|d 2010-06-15 \|e D'Argenio Pedro \|g 0.00 \|l 3 \|m 1 \|o C D1.3 B142 \|p 20449 \|r 2023-01-24 00:00:00 \|s 2022-02-07 \|w 2010-06-15 \|y LIBRO
955			\|b xe09 2010-01-22 z-processor to USPL \|a xh00 2010-01-25 to USPL/STM \|a xh00 2010-03-08 to USPL/STM
999			\|c 15435 \|d 15434