Abstractions for Distributed Systems (DPA 2008)

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-00955-6_45
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Ideal Abstractions for Well-Structured Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

CPAL: High-Level Abstractions for Safe Embedded Systems

2016English

Compositional Abstractions for Long-Run Properties of Stochastic Systems

2011English

Visualizing Global Manifold Based on Distributed Local Data Abstractions

English

Programming Abstractions and Optimization Techniques for GPU-based Heterogeneous Systems

English

Organisational Abstractions for the Analysis and Design of Multi-Agent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Agent Abstractions for Engineering IoT Systems: A Case Study in Smart Healthcare

2017English

Formula Based Abstractions of Transition Systems for Real-Time Model Checking

English

Distributed Games and Distributed Control for Asynchronous Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy