Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras - Image 1

£66.00

It has never been this cheap. We have no record of a lower price.

£66 today · cheaper than every other day in the last 3 months

LAP Lambert Academic Publishing Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Name: Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras
Brand: LAP Lambert Academic Publishing
Price: 66.0 GBP
Availability: InStock

Computing & Internet

Price data last checked 31 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 60 days · 60 data points (no recent data)

Price data last checked 31 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey

↑ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 60 days • 1 price levels

Days at Price

Price Analysis

Most common price: £66 (60 days, 100.0%)

Price range: £66 - £66

Price levels: 1 different prices over 60 days

Description

This book proposes a logical framework to specify and analyze the knowledge of the observers of a concurrent-distributed computational system. Such a system could be a computer network, a financial market, a biological/ecological system, or a social network. The system is observed by agents who are trying to obtain information about it and about the other observers ? the competitors. The logical framework allows one to analyze the flux of information in this kind of scenarios and to design strategies to obtain or exchange information. It is a framework conceived for addressing questions regarding communication and security issues. Formally, this work combines two successful paradigms from Computer Science: Process Algebras and Dynamic-Epistemic Logics. Starting from the observation that Process Algebras generalize the modal Kripke structures, this work proposes the Dynamic-Epistemic Spatial Logics which extend the Dynamic-Epistemic Logics developed for epistemic Kripke structures to the more general case of Process Algebras. Thus, this new class of logics combines features of process logics such as Hennessy- Milner and Spatial Logics with Epistemic Logic.

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3838388984
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 02 August 2010
Listed Since: 04 August 2010

Barcode

No barcode data available

It has never been this cheap. We have no record of a lower price.

LAP Lambert Academic Publishing Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algebraic Theory for True Concurrency - Academic Press

Handbook of Truly Concurrent Process Algebra

Tightly Connected Hierarchical Interconnection Networks: Topology, Algorithms and Recursivity in an Asymptotically Optimal Class of Parallel Architectures

Statistical Multiplexing and Connection Admission Control

Towards Parallel Execution of Scientific Applications

Generic Context-Aware Middleware for Pervasive Smart Environment

Multiprocessor Performance Analysis: Ensuring Guaranteed Throughput of Dynamic Multimedia Streaming Applications

Library Consortium: A Tool for Resource-Sharing among University Libraries in Sri Lanka

Algebraic Structures and Combinatorial Designs

IT Process Models: Unification Of IT Process Models Into A Simple Framework Supplemented By Turkish Web Based Application

Advanced Techniques in Control Charting: For Process Monitoring

AGENT-ORIENTED ENGINEERING OF COMPLEX SYSTEMS: Meta-Models, Processes, Environment and Layers

Academic Projects on Computational Sciences & Engineering: Applied Artificial Intelligence

Principles of Computer System: Architectures, Operating Systems and Security

Overview of Business Process Management

Coordination of complex operations over organisational boundaries: From managing in-house resources to business modelling for smart business networks

Cross-functional Co-operation for Improved Product Development: a Case Study at Siemens Industrial Turbomachinery AB

DESIGN AND ANALYSIS OF ALGORITHMS: through Structured Analysis

Irregular computations on fine-grain multithreaded architecture: Parallel algorithms and architectures

Communication Environment and Group Performance

Computer Organization and Architecture: Fundamentals of Computer Organization and Architecture

Location Aware Multimedia Stories: A location based view of Interactive Narrative

Analiz sostoyaniya tekhnologicheskikh protsessov: na osnove nechyetkikh ekspertnykh znaniy: na osnowe nechötkih äxpertnyh znanij

Cognition of Competitive Environments: A Strategic Group Analysis: A study of Competitive Landscapes

It has never been this cheap. We have no record of a lower price.

LAP Lambert Academic Publishing Logical Analysis of Complex Concurrent Systems: Dynamic-Epistemic Spatial Logics for Process Algebras

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Algebraic Theory for True Concurrency - Academic Press

Handbook of Truly Concurrent Process Algebra

Tightly Connected Hierarchical Interconnection Networks: Topology, Algorithms and Recursivity in an Asymptotically Optimal Class of Parallel Architectures

Statistical Multiplexing and Connection Admission Control

Towards Parallel Execution of Scientific Applications

Generic Context-Aware Middleware for Pervasive Smart Environment

Multiprocessor Performance Analysis: Ensuring Guaranteed Throughput of Dynamic Multimedia Streaming Applications

Library Consortium: A Tool for Resource-Sharing among University Libraries in Sri Lanka

Algebraic Structures and Combinatorial Designs

IT Process Models: Unification Of IT Process Models Into A Simple Framework Supplemented By Turkish Web Based Application

Advanced Techniques in Control Charting: For Process Monitoring

AGENT-ORIENTED ENGINEERING OF COMPLEX SYSTEMS: Meta-Models, Processes, Environment and Layers

Academic Projects on Computational Sciences & Engineering: Applied Artificial Intelligence

Principles of Computer System: Architectures, Operating Systems and Security

Overview of Business Process Management

Coordination of complex operations over organisational boundaries: From managing in-house resources to business modelling for smart business networks

Cross-functional Co-operation for Improved Product Development: a Case Study at Siemens Industrial Turbomachinery AB

DESIGN AND ANALYSIS OF ALGORITHMS: through Structured Analysis

Irregular computations on fine-grain multithreaded architecture: Parallel algorithms and architectures

Communication Environment and Group Performance

Computer Organization and Architecture: Fundamentals of Computer Organization and Architecture

Location Aware Multimedia Stories: A location based view of Interactive Narrative

Analiz sostoyaniya tekhnologicheskikh protsessov: na osnove nechyetkikh ekspertnykh znaniy: na osnowe nechötkih äxpertnyh znanij

Cognition of Competitive Environments: A Strategic Group Analysis: A study of Competitive Landscapes