Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship

Compositionality, concurrency and partial correctness Proof theories for networks of processes, and ther relationship

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Zwiers, J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin Springer 1989
Σειρά:	Lecture Notes in Computer Science 321
Θέματα:	ΕΣΑ COMPUTER NETWORKS LNCS

Παρόμοια τεκμήρια

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Έκδοση: (1996)

Principles of Data Mining and Knowledge Discovery First European Symposium, PKDD '97 Trondheim, Norway, June 24-27, 1997 Proceedings
Έκδοση: (1997)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Current trends in concurrency [Proceedings of the ESPRIT/LPC Noordwijlerhout, The Netherlands, June 10-21, 1985]
Έκδοση: (1985)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
ανά: Chien, Andrew A.
Έκδοση: (1993)

Verification of sequential and concurrent programs
ανά: Apt, Krzysztof
Έκδοση: (1997)

Concurrent programming in ML
ανά: Reppy, John H.
Έκδοση: (1999)

Parallel sympolic computing:languages, systems, and applications Proceedings of the US/Japan Workshop Cambridge, MA, USA, October 14-17, 1992
Έκδοση: (1993)

Handbook of proof theory
Έκδοση: (1998)

Programs as data objects Proceedings of a Workshop Copenhagen, Denmark, October 17-19, 1985
Έκδοση: (1986)

Circuit Complexity and Neural Networks
ανά: Parberry, Ian
Έκδοση: (1994)

The Psychology of Proof Deductive Reasoning in Human Thinking
ανά: Rips, Lance J.
Έκδοση: (1994)

Research directions in concurrent object-oriented programming
ανά: Agha, Gul
Έκδοση: (1993)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

Distributed Programming Paradigms with Cryptography Applications
ανά: GREENFIELD, JONATHAN S.
Έκδοση: (1994)

Advances in Cryptology - CRYPTO '89 Proceedings
Έκδοση: (1990)

Advances in Cryptology - CRYPTO '90 Proceedings
Έκδοση: (1991)

Parallel computer architectures Theory, hardware, software, applications. The 1st workshop
Έκδοση: (1993)

An Introduction to the Theory of Spin Glasses and Neural Networks
ανά: Dotsenko, Victor
Έκδοση: (1994)

Handbook of Graphs and Networks From the Genome to the Internet
Έκδοση: (2003)

Executive briefing Advances in concurrency control and transaction processing
ανά: Ramamritham, Krithi
Έκδοση: (1997)

Parallel architectures and their efficient use Proceedings of the First Heinz Nixdorf Symposium Paderborn, germany, November 11-13, 1992
Έκδοση: (1993)

Qualitative Representation of Spatial Knowledge
ανά: Hernandez, Daniel
Έκδοση: (1994)

New trends in formal languages Control,cooperation and combinatorics
ανά: Paun, Gheorghe, κ.ά.
Έκδοση: (1997)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

State of the art in applied cryptography Course on computer security and industrial cryptography . Leuven, Belgium, June 306,1997. Revised lectures
Έκδοση: (1998)

Theoretical aspects of Computer Science STACS 86 [Proceedings] of the 3rd Annual Symposium Orsay, France, January 16-18,1986
Έκδοση: (1986)

Automated deduction Proceedings of the 8th International Conference Oxford, England, July 27 - August 1, 1986
Έκδοση: (1986)

Efficient Graph Rewriting and its Implementation
ανά: Dorr, Heiko
Έκδοση: (1995)

Theoretical Aspects of Computer Science STACS 93 Proceedings of 10th Annual Symposium Wurzburg Germany, February 25-27, 1993
Έκδοση: (1993)

Theoretical Aspects of Computer Science STACS 92 Proceedings of 9th Annual Symposium Cachan, France, February 13-15, 1992
Έκδοση: (1992)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

Principles of transaction processing
ανά: Bernstein, Philip A., κ.ά.
Έκδοση: (1997)

The Vienna development method: the meta-language
Έκδοση: (1978)

Advances in Cryptology - EUROCRYPT '92 Proceedings.Workshop on the Theory and Application of Cryptographic Techniques. Balatonfured, Hungary May 24-28, 1992
Έκδοση: (1993)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών