The Resource CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds
CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds
Resource Information
The item CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary

 "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715"PUBLISHER'S WEBSITE
 "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715."PUBLISHER'S WEBSITE
 "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715."PUBLISHER'S WEBSITE
 Language
 eng
 Extent
 ix, 528 pages
 Contents

 Geometry of interaction / J.Y. Girard  A compositional semantics for statecharts using labeled transition systems / A.C. Uselton and S.A. Smolka  On the decidability of noninterleaving process equivalences / A. Kiehn and M. Hennessy  Regularity of BPAsystems is decidable / S. Mauw and H. Mulder  A fast algorithm for deciding bisimilarity of normed contextfree processes / Y. Hirshfeld and F. Moller  Modelbased verification methods and tools / J.C. Fernandez, J. Sifakis and R. de Simone  New results on the analysis of concurrent systems with an indefinite number of processes / M. Girkar and R. Moll  Verification of nonregular temporal properties for contextfree processes / A. Bouajjani, R. Echahed and R. Robbana  Pushdown processes: Parallel composition and model checking / O. Burkart and B. Steffen  Local model checking for parallel compositions of contextfree processes / H. Hungar  The logical structure of concurrent constraint programming languages / P. Panangaden
 Countable nondeterminism and uncountable limits / P. Di Gianantonio, F. Honsell, S. Liani and G.D. Plotkin  SProc categorically / J.R.B. Cockett and D.A. Spooner  From timed graphs to hybrid automata / C. Courcoubetis  Hierarchical models of synchronous circuits / D. Dill  The observational power of clocks / R. Alur, C. Courcoubetis and T.A. Henzinger  A dynamic approach to timed behaviour / J. Gunawardena  Algebras of processes of timed Petri nets / J. Winkowski  Operational semantics for the Petri box calculus / M. Koutny, J. Esparza and E. Best  Weak sequential composition in process algebras / A. Rensink and H. Wehrheim  Efficient parallelism vs reliable distribution: A tradeoff for concurrent computations / P.C. Kanellakis, D. Michailidis and A.A. Shvartsman  On unifying assumption commitment style proof rules for concurrency / Q. Xu, A. Can and P. Collette  Liveness and fairness in duration calculus / J.U. Skakkebaek
 A symbolic semantics for the [pi]calculus / M. Boreale and R. De Nicola  On bisimulation in the [pi]calculus / D. Walker  Characterizing bisimulation congruence in the [pi]calculus / X. Liu  The limit view of infinite computations / V. Klarlund  Trace relinement of action systems / R.J.R. Back and J. von Wright  Bisimulation for models in concurrency / M. Nielsen and C. Clausen  Invariants in process algebra with data / M. Bezem and J.F. Groote  Testingbased abstractions for valuepassing systems / R. Cleaveland and J. Riely  A congruence theorem for structured operational semantics with predicates and negative premises / C. Verhoef  Deriving complete inference systems for a class of GSOS languages generating regular behaviours / L. Aceto  Process algebra with partial choice / J.C.M. Baeten and J.A. Bergstra  Probabilistic simulations for probabilistic processes / R. Segala and N. Lynch
 Fully abstract characterizations of testing preorders for probabilistic processes / S. Yuen, R. Cleaveland, Z. Dayar and S.A. Smolka  Composition and behaviors of probabilistic I/O automata / S.H. Wu, S.A. Smolka and E.W. Stark
 Isbn
 9783540583295
 Label
 CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings
 Title
 CONCUR '94, concurrency theory
 Title remainder
 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings
 Statement of responsibility
 Bengt Jonsson, Joachim Parrow, eds
 Language
 eng
 Summary

 "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715"PUBLISHER'S WEBSITE
 "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715."PUBLISHER'S WEBSITE
 "This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715."PUBLISHER'S WEBSITE
 Cataloging source
 OCU
 Illustrations
 illustrations
 Index
 index present
 Literary form
 non fiction
 http://bibfra.me/vocab/lite/meetingDate
 1994
 http://bibfra.me/vocab/lite/meetingName
 International Conference on Concurrency Theory
 Nature of contents
 bibliography
 http://library.link/vocab/relatedWorkOrContributorDate

 1957
 1956
 http://library.link/vocab/relatedWorkOrContributorName

 Jonsson, Bengt
 Parrow, Joachim
 Series statement
 Lecture notes in computer science
 Series volume
 836
 http://library.link/vocab/subjectName
 Parallel processing (Electronic computers)
 Label
 CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 volume
 Carrier category code
 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents

 Geometry of interaction / J.Y. Girard  A compositional semantics for statecharts using labeled transition systems / A.C. Uselton and S.A. Smolka  On the decidability of noninterleaving process equivalences / A. Kiehn and M. Hennessy  Regularity of BPAsystems is decidable / S. Mauw and H. Mulder  A fast algorithm for deciding bisimilarity of normed contextfree processes / Y. Hirshfeld and F. Moller  Modelbased verification methods and tools / J.C. Fernandez, J. Sifakis and R. de Simone  New results on the analysis of concurrent systems with an indefinite number of processes / M. Girkar and R. Moll  Verification of nonregular temporal properties for contextfree processes / A. Bouajjani, R. Echahed and R. Robbana  Pushdown processes: Parallel composition and model checking / O. Burkart and B. Steffen  Local model checking for parallel compositions of contextfree processes / H. Hungar  The logical structure of concurrent constraint programming languages / P. Panangaden
 Countable nondeterminism and uncountable limits / P. Di Gianantonio, F. Honsell, S. Liani and G.D. Plotkin  SProc categorically / J.R.B. Cockett and D.A. Spooner  From timed graphs to hybrid automata / C. Courcoubetis  Hierarchical models of synchronous circuits / D. Dill  The observational power of clocks / R. Alur, C. Courcoubetis and T.A. Henzinger  A dynamic approach to timed behaviour / J. Gunawardena  Algebras of processes of timed Petri nets / J. Winkowski  Operational semantics for the Petri box calculus / M. Koutny, J. Esparza and E. Best  Weak sequential composition in process algebras / A. Rensink and H. Wehrheim  Efficient parallelism vs reliable distribution: A tradeoff for concurrent computations / P.C. Kanellakis, D. Michailidis and A.A. Shvartsman  On unifying assumption commitment style proof rules for concurrency / Q. Xu, A. Can and P. Collette  Liveness and fairness in duration calculus / J.U. Skakkebaek
 A symbolic semantics for the [pi]calculus / M. Boreale and R. De Nicola  On bisimulation in the [pi]calculus / D. Walker  Characterizing bisimulation congruence in the [pi]calculus / X. Liu  The limit view of infinite computations / V. Klarlund  Trace relinement of action systems / R.J.R. Back and J. von Wright  Bisimulation for models in concurrency / M. Nielsen and C. Clausen  Invariants in process algebra with data / M. Bezem and J.F. Groote  Testingbased abstractions for valuepassing systems / R. Cleaveland and J. Riely  A congruence theorem for structured operational semantics with predicates and negative premises / C. Verhoef  Deriving complete inference systems for a class of GSOS languages generating regular behaviours / L. Aceto  Process algebra with partial choice / J.C.M. Baeten and J.A. Bergstra  Probabilistic simulations for probabilistic processes / R. Segala and N. Lynch
 Fully abstract characterizations of testing preorders for probabilistic processes / S. Yuen, R. Cleaveland, Z. Dayar and S.A. Smolka  Composition and behaviors of probabilistic I/O automata / S.H. Wu, S.A. Smolka and E.W. Stark
 Control code
 31061045
 Dimensions
 24 cm
 Extent
 ix, 528 pages
 Isbn
 9783540583295
 Isbn Type
 (Berlin : acidfree paper)
 Lccn
 94206347
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code
 n
 Other physical details
 illustrations
 System control number
 (WaOLN)751242
 Label
 CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 volume
 Carrier category code
 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code
 txt
 Content type MARC source
 rdacontent
 Contents

 Geometry of interaction / J.Y. Girard  A compositional semantics for statecharts using labeled transition systems / A.C. Uselton and S.A. Smolka  On the decidability of noninterleaving process equivalences / A. Kiehn and M. Hennessy  Regularity of BPAsystems is decidable / S. Mauw and H. Mulder  A fast algorithm for deciding bisimilarity of normed contextfree processes / Y. Hirshfeld and F. Moller  Modelbased verification methods and tools / J.C. Fernandez, J. Sifakis and R. de Simone  New results on the analysis of concurrent systems with an indefinite number of processes / M. Girkar and R. Moll  Verification of nonregular temporal properties for contextfree processes / A. Bouajjani, R. Echahed and R. Robbana  Pushdown processes: Parallel composition and model checking / O. Burkart and B. Steffen  Local model checking for parallel compositions of contextfree processes / H. Hungar  The logical structure of concurrent constraint programming languages / P. Panangaden
 Countable nondeterminism and uncountable limits / P. Di Gianantonio, F. Honsell, S. Liani and G.D. Plotkin  SProc categorically / J.R.B. Cockett and D.A. Spooner  From timed graphs to hybrid automata / C. Courcoubetis  Hierarchical models of synchronous circuits / D. Dill  The observational power of clocks / R. Alur, C. Courcoubetis and T.A. Henzinger  A dynamic approach to timed behaviour / J. Gunawardena  Algebras of processes of timed Petri nets / J. Winkowski  Operational semantics for the Petri box calculus / M. Koutny, J. Esparza and E. Best  Weak sequential composition in process algebras / A. Rensink and H. Wehrheim  Efficient parallelism vs reliable distribution: A tradeoff for concurrent computations / P.C. Kanellakis, D. Michailidis and A.A. Shvartsman  On unifying assumption commitment style proof rules for concurrency / Q. Xu, A. Can and P. Collette  Liveness and fairness in duration calculus / J.U. Skakkebaek
 A symbolic semantics for the [pi]calculus / M. Boreale and R. De Nicola  On bisimulation in the [pi]calculus / D. Walker  Characterizing bisimulation congruence in the [pi]calculus / X. Liu  The limit view of infinite computations / V. Klarlund  Trace relinement of action systems / R.J.R. Back and J. von Wright  Bisimulation for models in concurrency / M. Nielsen and C. Clausen  Invariants in process algebra with data / M. Bezem and J.F. Groote  Testingbased abstractions for valuepassing systems / R. Cleaveland and J. Riely  A congruence theorem for structured operational semantics with predicates and negative premises / C. Verhoef  Deriving complete inference systems for a class of GSOS languages generating regular behaviours / L. Aceto  Process algebra with partial choice / J.C.M. Baeten and J.A. Bergstra  Probabilistic simulations for probabilistic processes / R. Segala and N. Lynch
 Fully abstract characterizations of testing preorders for probabilistic processes / S. Yuen, R. Cleaveland, Z. Dayar and S.A. Smolka  Composition and behaviors of probabilistic I/O automata / S.H. Wu, S.A. Smolka and E.W. Stark
 Control code
 31061045
 Dimensions
 24 cm
 Extent
 ix, 528 pages
 Isbn
 9783540583295
 Isbn Type
 (Berlin : acidfree paper)
 Lccn
 94206347
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code
 n
 Other physical details
 illustrations
 System control number
 (WaOLN)751242
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/CONCUR94concurrencytheory5th/EB1bs7Xbfec/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/CONCUR94concurrencytheory5th/EB1bs7Xbfec/">CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/CONCUR94concurrencytheory5th/EB1bs7Xbfec/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/CONCUR94concurrencytheory5th/EB1bs7Xbfec/">CONCUR '94, concurrency theory : 5th International Conference, Uppsala, Sweden, August 2225, 1994 : proceedings, Bengt Jonsson, Joachim Parrow, eds</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>