An Equational Logic and Coordination Language for Distributed Objects

An Equational Logic and Coordination Language for Distributed Objects
Author :
Publisher :
Total Pages : 236
Release :
ISBN-10 : OCLC:70252660
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis An Equational Logic and Coordination Language for Distributed Objects by : Mahmood Reza Ziaei

Download or read book An Equational Logic and Coordination Language for Distributed Objects written by Mahmood Reza Ziaei and published by . This book was released on 2005 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt:

An Equational Logic and Coordination Language for Distributed Objects Related Books

An Equational Logic and Coordination Language for Distributed Objects
Language: en
Pages: 236
Authors: Mahmood Reza Ziaei
Categories:
Type: BOOK - Published: 2005 - Publisher:

GET EBOOK

Dissertation Abstracts International
Language: en
Pages: 884
Authors:
Categories: Dissertations, Academic
Type: BOOK - Published: 2006 - Publisher:

GET EBOOK

Logic, Rewriting, and Concurrency
Language: en
Pages: 644
Authors: Narciso Martí-Oliet
Categories: Mathematics
Type: BOOK - Published: 2015-08-26 - Publisher: Springer

GET EBOOK

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 304
Authors: Elie Najm
Categories: Computers
Type: BOOK - Published: 2003-11-10 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems.
Coordinating Distributed Objects
Language: en
Pages: 220
Authors: Svend Frolund
Categories: Computers
Type: BOOK - Published: 1996-11 - Publisher: Mit Press

GET EBOOK

Coordinating Distributed Objects presents a novel object-oriented methodology to simplify the construction of distributed software systems. The methodology is b