CONCUR '96: Concurrency Theory

7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings

AvUgo Montanari,Vladimiro Sassone

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.

Produktinformation

Utgivningsdatum:1996-08-07
Mått:155 x 235 x 42 mm
Vikt:1 147 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:759
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540616047

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Retracing some paths in process algebra.- Process calculus based upon evaluation to committed form.- A process algebra with distributed priorities.- Symbolic transition graph with assignment.- Models for concurrent constraint programming.- Comparing transition systems with independence and asynchronous transition systems.- A presheaf semantics of value-passing processes.- Elementary control structures.- On transformations of concurrent object programs.- On bisimulations for the asynchronous ?-calculus.- On the expressiveness of internal mobility in name-passing calculi.- Decoding choice encodings.- Infinite results.- Decidability of bisimulation equivalence for normed pushdown processes.- The modal mu-calculus alternation hierarchy is strict.- Bisimulation collapse and the process taxonomy.- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic.- A Facile tutorial.- Testing probabilistic automata.- Extended Markovian Process Algebra.- Rewriting logic as a semantic framework for concurrency: a progress report.- Truly concurrent constraint programming.- Constraints as processes.- A calculus of mobile agents.- Algebraic interpretation of lambda calculus with resources.- Concurrent graph and term graph rewriting.- Petri boxes and finite precedence.- Constrained properties, semilinear systems, and Petri nets.- Linear constraint systems as high-level nets.- A space-efficient on-the-fly algorithm for real-time model checking.- State equivalences for rectangular hybrid automata.- Verifying abstractions of timed systems.- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation.- Modelling and verification of Distributed Algorithms.- An algorithmic approach for checkingclosure properties of ?-regular languages.- Towards automata for branching time and partial order.- Asynchronous cellular automata for pomsets without auto-concurrency.- Action refinement and property inheritance in systems of sequential agents.- A calculus for concurrent objects.- Refinement in Interworkings.- Equivalences of Statecharts.- Modular verification for shared-variable concurrent programs.- The impact of hardware models on shared memory consistency conditions.- Synchronous development of asynchronous systems.

Mer från samma författare

Foundations of Information Technology in the Era of Network and Mobile Computing

Nicola Santoro, Ugo Montanari, Ricardo Baeza-Yates

E-bok

2013

2 065 kr

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Yates, Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

Inbunden, 2002

1 698 kr

Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP Internati

Ricardo Baeza-Yates, Ugo Montanari

665 kr

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

Häftad, 2013

1 703 kr

Models of Computation

Roberto Bruni, Ugo Montanari

Inbunden, 2017

421 kr

Models of Computation

Ugo Montanari, Roberto Bruni

E-bok

2017

903 kr

Models of Computation

Roberto Bruni, Ugo Montanari

Häftad, 2018

426 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

403 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

403 kr

System Development and Ada

A. Nico Habermann, Ugo Montanari

Häftad, 1987

572 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051

Sustainable Digital Communities

Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad

Häftad, 2020

1 071 kr

Types for Proofs and Programs

Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith

Häftad, 2000

571 kr

Del 13216

Requirements Engineering: Foundation for Software Quality

Vincenzo Gervasi, Andreas Vogelsang

Häftad, 2022

627 kr

Component-Based Software Engineering

Heinz G. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford

Häftad, 2007

571 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr

Sendak, M: Donde Viven Los Monstruos (Where the Wild Things

Maurice Sendak

Inbunden, 1996

367 kr

Advances in Structural and Syntactical Pattern Recognition

Petra Perner, Patrick Wang, Azriel Rosenfeld

Häftad, 1996

571 kr

Science of Being Well

Wallace D Wattles

Häftad, 1996

110 kr

Automata, Languages and Programming

Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener

Häftad, 2006

1 135 kr

Lightkeeping on the St. Lawrence

Normand Lafreniere

E-bok

1996

69 kr

Body Thoughts

Andrew Strathern

Häftad, 1996

376 kr

Death of Old Man Rice

Martin L. Friedland

E-bok

1996

796 kr

Principles and Practice of Constraint Programming - CP'96

Eugene C. Freuder

Häftad, 1996

571 kr

Global Perspectives in Cross-Cultural and Cross-National Consumer Research

Lalita A. Manrai, Ajay K. Manrai

Inbunden, 1996

2 462 kr

CONCUR '96: Concurrency Theory

7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings

AvUgo Montanari,Vladimiro Sassone

Häftad, Engelska, 1996

Del i serien Lecture Notes in Computer Science

1 135 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:1996-08-07
Mått:155 x 235 x 42 mm
Vikt:1 147 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:759
Upplaga:1996
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540616047

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Retracing some paths in process algebra.- Process calculus based upon evaluation to committed form.- A process algebra with distributed priorities.- Symbolic transition graph with assignment.- Models for concurrent constraint programming.- Comparing transition systems with independence and asynchronous transition systems.- A presheaf semantics of value-passing processes.- Elementary control structures.- On transformations of concurrent object programs.- On bisimulations for the asynchronous ?-calculus.- On the expressiveness of internal mobility in name-passing calculi.- Decoding choice encodings.- Infinite results.- Decidability of bisimulation equivalence for normed pushdown processes.- The modal mu-calculus alternation hierarchy is strict.- Bisimulation collapse and the process taxonomy.- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic.- A Facile tutorial.- Testing probabilistic automata.- Extended Markovian Process Algebra.- Rewriting logic as a semantic framework for concurrency: a progress report.- Truly concurrent constraint programming.- Constraints as processes.- A calculus of mobile agents.- Algebraic interpretation of lambda calculus with resources.- Concurrent graph and term graph rewriting.- Petri boxes and finite precedence.- Constrained properties, semilinear systems, and Petri nets.- Linear constraint systems as high-level nets.- A space-efficient on-the-fly algorithm for real-time model checking.- State equivalences for rectangular hybrid automata.- Verifying abstractions of timed systems.- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation.- Modelling and verification of Distributed Algorithms.- An algorithmic approach for checkingclosure properties of ?-regular languages.- Towards automata for branching time and partial order.- Asynchronous cellular automata for pomsets without auto-concurrency.- Action refinement and property inheritance in systems of sequential agents.- A calculus for concurrent objects.- Refinement in Interworkings.- Equivalences of Statecharts.- Modular verification for shared-variable concurrent programs.- The impact of hardware models on shared memory consistency conditions.- Synchronous development of asynchronous systems.

Mer från samma författare

Foundations of Information Technology in the Era of Network and Mobile Computing

Nicola Santoro, Ugo Montanari, Ricardo Baeza-Yates

E-bok

2013

2 065 kr

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Yates, Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

Inbunden, 2002

1 698 kr

Foundations of Information Technology in the Era of Network and Mobile Computing : IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP Internati

Ricardo Baeza-Yates, Ugo Montanari

665 kr

Foundations of Information Technology in the Era of Network and Mobile Computing

Ricardo Baeza-Yates, Ugo Montanari, Nicola Santoro

Häftad, 2013

1 703 kr

Models of Computation

Roberto Bruni, Ugo Montanari

Inbunden, 2017

421 kr

Models of Computation

Ugo Montanari, Roberto Bruni

E-bok

2017

903 kr

Models of Computation

Roberto Bruni, Ugo Montanari

Häftad, 2018

426 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

403 kr

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987

Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari

Häftad, 1987

403 kr

System Development and Ada

A. Nico Habermann, Ugo Montanari

Häftad, 1987

572 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Del 12051