1995, ISBN: 9783540602187
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven in… Altro …
BetterWorldBooks.com used in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9783540602187
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven i… Altro …
Springer.com Nr. 978-3-540-60218-7. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
CONCUR '95 Concurrency Theory 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings - nuovo libro
1995, ISBN: 3540602186
1995 Kartoniert / Broschiert Programmiersprachen, Theoretische Informatik, Echtzeitsysteme; MobileProcesses; MobileProzesse; ModelCheckcing; Modellprüfung; Nebenläufigkeit; Programseman… Altro …
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile
1995, ISBN: 9783540602187
Springer, 1995-09-19. 1995. Paperback. Used:Good., Springer, 1995-09-19, 0
Biblio.co.uk |
1995, ISBN: 9783540602187
edizione con copertina flessibile
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1995
lehmanns.de Costi di spedizione:Versand in 10-14 Tagen. (EUR 0.00) Details... |
CONCUR '95 - Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 1995 - Proceedings - libri usati
1995, ISBN: 9783540602187
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven in… Altro …
ISBN: 9783540602187
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995. The volume presents seven i… Altro …
CONCUR '95 Concurrency Theory 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings - nuovo libro
1995
ISBN: 3540602186
1995 Kartoniert / Broschiert Programmiersprachen, Theoretische Informatik, Echtzeitsysteme; MobileProcesses; MobileProzesse; ModelCheckcing; Modellprüfung; Nebenläufigkeit; Programseman… Altro …
CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings (Lecture Notes in Computer Science) - edizione con copertina flessibile
1995, ISBN: 9783540602187
Springer, 1995-09-19. 1995. Paperback. Used:Good., Springer, 1995-09-19, 0
1995, ISBN: 9783540602187
edizione con copertina flessibile
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 1995
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - CONCUR '95 Concurrency Theory
EAN (ISBN-13): 9783540602187
ISBN (ISBN-10): 3540602186
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1995
Editore: Springer Berlin
564 Pagine
Peso: 0,842 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-04-21T15:12:00+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-03-31T10:32:42+02:00 (Zurich)
ISBN/EAN: 3540602186
ISBN - Stili di scrittura alternativi:
3-540-60218-6, 978-3-540-60218-7
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : proceedings, scott, smolka
Titolo del libro: august 6th, proceedings the 6th international conference, concurrency, philadelphia usa, conferences proceedings, notes, analytical mechanics, august 1995, nonlinear control mechanics
Dati dell'editore
Autore: Scott Smolka
Titolo: Lecture Notes in Computer Science; CONCUR '95 Concurrency Theory - 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Editore: Springer; Springer Berlin
553 Pagine
Anno di pubblicazione: 1995-09-09
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XI, 553 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Concurrency; Echtzeitsysteme; Mobile Processes; Mobile Prozesse; Model Checkcing; Modellprüfung; Nebenläufigkeit; Program Semantics; Programmsemantik; Real-Time Systems; calculus; complexity; logic; Theory of Computation; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Compiler und Übersetzer; EA
Local model checking games (extended abstract).- Compositional proof systems for model checking infinite state processes.- Compositional model checking of real time systems.- Checking bisimilarity for finitary ?-calculus.- The weak late ?-calculus semantics as observation equivalence.- The fixpoint-analysis machine.- Unique fixpoint induction for mobile processes.- A polymorphic type system for the polyadic ?-calculus.- Fibrational control structures.- Fully abstract models for nondeterministic regular expressions.- A Petri net semantics for ?-calculus.- A complete theory of deterministic event structures.- Characterizing behavioural congruences for Petri nets.- Verification of a distributed summation algorithm.- Confluence for process verification.- Axiomatisations of weak equivalences for De Simone languages.- A compositional trace-based semantics for probabilistic automata.- Acceptance trees for probabilistic processes.- Will I be pretty, will I be rich? Some thoughts on theory vs. practice in systems engineering.- Towards a denotational semantics for ET-LOTOS.- Reachability analysis at procedure level through timing coincidence.- Faster asynchronous systems.- Fair testing.- Formal methods technology transfer: Impediments and innovation (abstract).- Decidability of simulation and bisimulation between lossy channel systems and finite state systems.- Checking regular properties of Petri nets.- Metric predicate transformers: Towards a notion of refinement for concurrency.- A refinement theory that supports both ’decrease of nondeterminism’ and ’increase of parallelism’.- Model checking and efficient automation of temporal reasoning.- Verifying parameterized networks using abstraction and regular languages.- On the complexity of branching modular modelchecking.- Axiomatising linear time mu-calculus.- A trace consistent subset of PTL.- Tutorial: Proving properties of concurrent systems with SPIN.- On sharing and determinacy in concurrent systems.- Process semantics of graph reduction.- Bisimulations for a calculus of broadcasting systems.- Delayed choice for process algebra with abstraction.- CTR: A calculus of timed refinement.- Temporal logic + timed automata: Expressiveness and decidability.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783540447382 CONCUR '95 Concurrency Theory (Scott Smolka)
< Per archiviare...