Borrow it
Coverart for item
The Resource CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings, Insup Lee, Scott A. Smolka, eds

CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings, Insup Lee, Scott A. Smolka, eds

Creator
Contributor
Summary
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 invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics
Language
eng
Work
Publication
Extent
1 online resource (x, 545 pages)
Contents
  • Local Model Checking Games / C. Stirling
  • Compositional Proof Systems for Model Checking Infinite State Processes / M. Dam
  • Compositional Model Checking of Real Time Systems / F. Laroussinie and K.G. Larsen
  • Checking Bisimilarity for Finitary [pi]-Calculus / U. Montanari and M. Pistore
  • The Weak Late [pi]-Calculus Semantics as Observation Equivalence / G.-L. Ferrari, U. Montanari and P. Quaglia
  • The Fixpoint-Analysis Machine / B. Steffen, A. Classen, M. Klein, J. Knoop and T. Margaria
  • Unique Fixpoint Induction for Mobile Processes / H. Lin
  • A Polymorphic Type System for the Polyadic [pi]-Calculus / X. Liu and D. Walker
  • Fibrational Control Structures / C. Hermida and J. Power
  • Fully Abstract Models for Nondeterministic Regular Expressions / F. Corradini, R. De Nicola and A. Labella
  • A Petri Net Semantics for [pi]-Calculus / N. Busi and R. Gorrieri
  • A Complete Theory of Deterministic Event Structures / A. Rensink
Isbn
9783540447382
Instance
Label
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings
Title
CONCUR '95
Title remainder
concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings
Statement of responsibility
Insup Lee, Scott A. Smolka, eds
Creator
Contributor
Subject
Genre
Language
eng
Summary
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 invited contributions by outstanding researchers and 33 refereed full research papers selected by the program committee out of a total of 91 submissions. The collection of articles gives a representative overview on what happened in this area of research, since the last CONCUR conference took place. There are sections on model checking, mobile processes, process theory, true concurrency, process algebra, probabilistic automata, real-time systems, testing semantics, decidability results, refinement theory, and linear-time logics
Member of
Action
digitized
Cataloging source
OCLCE
Dewey number
004/.35
Illustrations
illustrations
Index
index present
LC call number
QA76.58
LC item number
I53 1995
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1995
http://bibfra.me/vocab/lite/meetingName
International Conference on Concurrency Theory
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Lee, Insup
  • Smolka, Scott A
Series statement
Lecture notes in computer science
Series volume
962
http://library.link/vocab/subjectName
  • Parallel processing (Electronic computers)
  • Parallel processing (Electronic computers)
  • Programmatuurtechniek
  • Concurrente programmering
  • Parallélisme (informatique)
  • Informatique
Label
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings, Insup Lee, Scott A. Smolka, eds
Instantiates
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Local Model Checking Games / C. Stirling -- Compositional Proof Systems for Model Checking Infinite State Processes / M. Dam -- Compositional Model Checking of Real Time Systems / F. Laroussinie and K.G. Larsen -- Checking Bisimilarity for Finitary [pi]-Calculus / U. Montanari and M. Pistore -- The Weak Late [pi]-Calculus Semantics as Observation Equivalence / G.-L. Ferrari, U. Montanari and P. Quaglia -- The Fixpoint-Analysis Machine / B. Steffen, A. Classen, M. Klein, J. Knoop and T. Margaria -- Unique Fixpoint Induction for Mobile Processes / H. Lin -- A Polymorphic Type System for the Polyadic [pi]-Calculus / X. Liu and D. Walker -- Fibrational Control Structures / C. Hermida and J. Power -- Fully Abstract Models for Nondeterministic Regular Expressions / F. Corradini, R. De Nicola and A. Labella -- A Petri Net Semantics for [pi]-Calculus / N. Busi and R. Gorrieri -- A Complete Theory of Deterministic Event Structures / A. Rensink
Control code
679359120
Dimensions
unknown
Extent
1 online resource (x, 545 pages)
Form of item
online
Isbn
9783540447382
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)679359120
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Label
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings, Insup Lee, Scott A. Smolka, eds
Publication
Antecedent source
file reproduced from original
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Local Model Checking Games / C. Stirling -- Compositional Proof Systems for Model Checking Infinite State Processes / M. Dam -- Compositional Model Checking of Real Time Systems / F. Laroussinie and K.G. Larsen -- Checking Bisimilarity for Finitary [pi]-Calculus / U. Montanari and M. Pistore -- The Weak Late [pi]-Calculus Semantics as Observation Equivalence / G.-L. Ferrari, U. Montanari and P. Quaglia -- The Fixpoint-Analysis Machine / B. Steffen, A. Classen, M. Klein, J. Knoop and T. Margaria -- Unique Fixpoint Induction for Mobile Processes / H. Lin -- A Polymorphic Type System for the Polyadic [pi]-Calculus / X. Liu and D. Walker -- Fibrational Control Structures / C. Hermida and J. Power -- Fully Abstract Models for Nondeterministic Regular Expressions / F. Corradini, R. De Nicola and A. Labella -- A Petri Net Semantics for [pi]-Calculus / N. Busi and R. Gorrieri -- A Complete Theory of Deterministic Event Structures / A. Rensink
Control code
679359120
Dimensions
unknown
Extent
1 online resource (x, 545 pages)
Form of item
online
Isbn
9783540447382
Level of compression
  • lossless
  • lossy
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
illustrations.
Reformatting quality
  • preservation
  • access
Reproduction note
Electronic reproduction.
Specific material designation
remote
System control number
(OCoLC)679359120
System details
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

Subject

Genre

Member of

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by University of Missouri Libraries. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...