Modal logic and process algebra : a bisimulation perspective / edited by Alban Ponse, Maarten de Rijke & Yde Venema.

Contributor(s):

Material type:

TextSeries: CSLI lecture notes ; no. 53Publication details: Stanford, Calif. : CSLI Publications, c1995.Description: xix, 327 p. ; 23 cmISBN:

1881526968 (pbk.)

Subject(s):

Item type:

Ordinary Loan Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Cover image	Item type	Current library	Home library	Collection	Shelving location	Call number	Materials specified	Vol info	URL	Copy number	Status	Notes	Date due	Barcode	Item holds	Item hold queue priority	Course reserves
	Ordinary Loan Books	Main Library		NFIC		QA267.3 MOD (Browse shelf(Opens below))					Available			92003013903

Browsing Main Library shelves,Shelving location: General Stacks,Collection: Non-fiction Close shelf browser (Hides shelf browser)

Previous								Next
Previous	QA267 LEW Elements of the theory of computation /	QA267 PIP Theories of computability /	QA267.3 MOD Modal logic and process algebra : a bisimulation perspective /	QA267.3 MOD Modal logic and process algebra : a bisimulation perspective /	QA267.5.C45 WUE The global dynamics of cellular automata : an atlas of basin of attraction fields of one-dimensional cellular automata /	QA267.5.S4 CAR Theory of finite automata : with an introduction to formal languages /	QA267.5.S4 CAR Theory of finite automata : with an introduction to formal languages /	Next

Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.

Includes bibliographical references.

Includes index.

There are no comments on this title.

to post a comment.

Back to results

21 Management accounting fundamentals :
by Chartered Institute of Management Accountants
22 Financial accounting fundamentals :
by Chartered Institute of Management Accountants
23 CIMA question papers and suggested answers : | May 1998 examination :
24 CIMA question papers and suggested answers : | May 2000 Examination :
25 CIMA question papers and suggested answers : | November 2000 examination :
26 CIMA question papers and suggested answers : | November 1999 examination :
27 CIMA question papers and suggested answers : | November 1998 examination :
28 CIMA question papers and suggested answers : | November 1999 examination :
29 CIMA question papers and suggested answers : | November 2000 examination :
30 CIMA question papers and suggested answers : | November 2000 examination :
31 CIMA question papers and suggested answers : | May 1998 Examination :
32 Organisational management :
33 Organisational management :
34 Management accounting- decision making :
35 Management accounting- decision making :
36 Economics for business:
37 Management accounting -case study
38 Management accounting : Final level paper 14 May 2001 Examinations /
39 Management accounting : final level paper 12 May 2002 Examinations /
by Chartered Institute of Management Accountants.
40 Financial Accounting - UK Standards