Sold Out
Book Categories |
Contents: L. Aceto, R. De Nicola, A. Fantechi: Testing Equivalences for Event Structures.- P. America, J. de Bakker: Designing Equivalent Semantic Models for Process Creation.- E. Astesiano, G. Reggio: An Outline of the SMoLCS Approach.- M. Broy, T. Streicher: Views of Distributed Systems.- P. Degano, R. De Nicola, U. Montanari: CCS is an (Augmented) Contact Free C/E System.- J.-Y. Girard: Linear Logic and Parallelism.- A. Labella, A. Pettorossi: Universal Models in Categories for Process Synchronization.- G. Mirkowska, A. Salwicki: On Axiomatic Definition of Max-Model of Concurrency.- Participants.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionMathematical Models for the Semantics of Parallelism
X
This Item is in Your InventoryMathematical Models for the Semantics of Parallelism
X
You must be logged in to review the productsX
X
X
Add Mathematical Models for the Semantics of Parallelism, The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the , Mathematical Models for the Semantics of Parallelism to the inventory that you are selling on WonderClubX
X
Add Mathematical Models for the Semantics of Parallelism, The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the , Mathematical Models for the Semantics of Parallelism to your collection on WonderClub |