![CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings /](/search/themes/bootstrap3/images/libros.png)
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings /
This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1990
|
| Subjects: | Computer science., Computer programming., Programming languages (Electronic computers)., Computers., Computer logic., Mathematics., Computer Science., Computation by Abstract Devices., Theory of Computation., Mathematics, general., Programming Techniques., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., |
| Online Access: | http://dx.doi.org/10.1007/BFb0039045 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:186860 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:1868602018-07-30T23:09:40ZCONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / Baeten, J. C. M. editor. Klop, J. W. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1990.engThis volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.Partial order semantics of concurrent programs -- SCONE: A simple calculus of nets -- Value-passing in process algebras -- Let's make models -- Ideal specification formalism = expressivity + compositionality + decidability + testability + ... -- An axiomatization of Lamport's temporal logic of actions -- Convergence of iteration systems -- Process algebra with a zero object -- On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences -- Verifying temporal properties of processes -- Testing equivalences and fully abstract models for probabilistic processes -- A preorder for partial process specifications -- Back and forth bisimulations -- Reduction and design of well-behaved concurrent systems -- Synthesis rules for Petri nets, and how they lead to new results -- The need for headers: An impossibility result for communication over unreliable channels -- A temporal approach to algebraic specifications -- Superimposition for interacting processes -- An implementation of a translational semantics for an imperative language -- CCSR: A calculus for communicating shared resources -- The linear time - branching time spectrum -- A programming logic for formal concurrent systems -- A new strategy for proving ?-completeness applied to process algebra -- Transition system specifications with negative premises -- Delay-insensitive circuits: An algebraic approach to their design -- Equivalences, congruences, and complete axiomatizations for probabilistic processes -- Rewriting as a unified model of concurrency -- A temporal calculus of communicating systems -- Proving termination of communicating programs -- Factorization of finite state machines under observational equivalence -- Partial order logics for elementary net systems: State- and event-approaches -- Priority as extremal probability -- A synchronous calculus of relative frequency -- On the compositional checking of validity -- Real-time behaviour of asynchronous agents -- Effective solutions to domain equations an approach to effective denotational semantics.This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems.Computer science.Computer programming.Programming languages (Electronic computers).Computers.Computer logic.Mathematics.Computer Science.Computation by Abstract Devices.Theory of Computation.Mathematics, general.Programming Techniques.Programming Languages, Compilers, Interpreters.Logics and Meanings of Programs.Springer eBookshttp://dx.doi.org/10.1007/BFb0039045URN:ISBN:9783540463955 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Programming Techniques. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Programming Techniques. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
| spellingShingle |
Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Programming Techniques. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Programming Techniques. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Baeten, J. C. M. editor. Klop, J. W. editor. SpringerLink (Online service) CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / |
| description |
This volume gives the proceedings of the conference CONCUR '90. This is the first conference organized by ESPRIT Basic Research Action 3006, CONCUR (Theories of Concurrency: Unification and Extension), started in September 1989. The principal aims of the action are to explore the relationships among the different approaches to algebraic concurrency theory, and to develop a formalism applicable to a wide range of case studies. The articles in this volume describe the state of the art in concurrency, the theory of communicating concurrent (or distributed) systems. |
| format |
Texto |
| topic_facet |
Computer science. Computer programming. Programming languages (Electronic computers). Computers. Computer logic. Mathematics. Computer Science. Computation by Abstract Devices. Theory of Computation. Mathematics, general. Programming Techniques. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. |
| author |
Baeten, J. C. M. editor. Klop, J. W. editor. SpringerLink (Online service) |
| author_facet |
Baeten, J. C. M. editor. Klop, J. W. editor. SpringerLink (Online service) |
| author_sort |
Baeten, J. C. M. editor. |
| title |
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / |
| title_short |
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / |
| title_full |
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / |
| title_fullStr |
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / |
| title_full_unstemmed |
CONCUR '90 Theories of Concurrency: Unification and Extension [electronic resource] : Amsterdam, The Netherlands, August 27–30, 1990 Proceedings / |
| title_sort |
concur '90 theories of concurrency: unification and extension [electronic resource] : amsterdam, the netherlands, august 27–30, 1990 proceedings / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
1990 |
| url |
http://dx.doi.org/10.1007/BFb0039045 |
| work_keys_str_mv |
AT baetenjcmeditor concur90theoriesofconcurrencyunificationandextensionelectronicresourceamsterdamthenetherlandsaugust27301990proceedings AT klopjweditor concur90theoriesofconcurrencyunificationandextensionelectronicresourceamsterdamthenetherlandsaugust27301990proceedings AT springerlinkonlineservice concur90theoriesofconcurrencyunificationandextensionelectronicresourceamsterdamthenetherlandsaugust27301990proceedings |
| _version_ |
1756265568200032256 |