Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Modal Logic and Process Algebra

A Bisimulation Perspective

Language EnglishEnglish
Book Paperback
Book Modal Logic and Process Algebra Alban Ponse
Libristo code: 05012595
Publishers Centre for the Study of Language & Information, June 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Full description
? points 84 b Coming soon Coming soon
12 299 Ft
Reprint Date unknown Date unknown

Up to 30 days for returns

Customers also purchased

El viaje de las palabras ANDREA MARCOLONGO / Book Hardback
common.buy 8 420 Ft
Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-book Adobe ePub DRM
common.buy 3 911 Ft
Tí, čo nás predišli Martin Uher / Book Paperback
common.buy 1 747 Ft
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Book Hardback
common.buy 16 354 Ft
Augustus und der Ritterstand Wladimir Danilow / Book Paperback
common.buy 6 288 Ft
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Book Paperback
common.buy 6 376 Ft
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Book Paperback
common.buy 5 700 Ft
Dědečkův velký útěk David Walliams / Audio Audio CD
common.buy 5 422 Ft
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Book Hardback
common.buy 6 993 Ft
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Book Paperback
common.buy 4 968 Ft
1.1.-30.6.2004 Manfred Baldus / Book Hardback
common.buy 83 761 Ft
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Game/Toy Toy
common.buy 2 544 Ft
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Book Paperback
common.buy 17 016 Ft
Liebermann Hubert Knackfuß / Book Paperback
common.buy 5 936 Ft

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Modal Logic and Process Algebra
Author Alban Ponse, Maarten De Rijke, Yde Venema
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 352
EAN 9781881526964
ISBN 1881526968
Libristo code 05012595
Publishers Centre for the Study of Language & Information
Weight 482
Dimensions 152 x 228 x 20

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

The Next Great Paulie Fink Ali Benjamin / Book Hardback
common.buy 11 284 Ft
Consumption Takes Time Steedman / Book Paperback
common.buy 26 655 Ft
Budgetary Control in Modern Organisation Israel Davidson / Book Paperback
common.buy 31 461 Ft
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Book Paperback
common.buy 3 967 Ft
Te Ika a Maui, or, New Zealand and its Inhabitants. Second edition, etc. Richard M a Taylor / Book Paperback
common.buy 13 212 Ft
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Book Paperback
common.buy 6 613 Ft
Modern Education M. S. Avezova / Book Paperback
common.buy 4 157 Ft
Guitar Chords - Major 7 Chords Dan Lupo / Book Paperback
common.buy 3 439 Ft
More Than a Woman a Woman Marine Karen Haynes / Book Paperback
common.buy 6 052 Ft
American Legal System and Civic Engagement Kenneth Manaster / Book Paperback
common.buy 18 499 Ft
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Book Paperback
common.buy 9 213 Ft
On the Shoulders of Giants M.E. Lines / Book Paperback
common.buy 23 513 Ft
NoMeansNo Mark Black / Book Paperback
common.buy 5 746 Ft
Coming soon
Hammershoi Frank Claustrat / Book Hardback
common.buy 16 956 Ft
Secretive Sara Rosett / Book Paperback
common.buy 4 453 Ft
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Book Board book
common.buy 16 942 Ft
Spirit Animal Oracle Colette Baron-Reid / Printed items Cards
common.buy 10 492 Ft
Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Book Paperback
common.buy 9 171 Ft
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Book Paperback
common.buy 11 405 Ft
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Book Hardback
common.buy 80 661 Ft
Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous / Book Paperback
common.buy 4 555 Ft
Dyslogic Syndrome Bernard Rimland / Book Hardback
common.buy 13 754 Ft
Mothers Recompense Grace Aguilar / Book Hardback
common.buy 17 313 Ft
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Book Paperback
common.buy 19 954 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?