Ideal Abstractions for Well-Structured Transition Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-27940-9_29
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

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

English

Abstractions for Distributed Systems (DPA 2008)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

CPAL: High-Level Abstractions for Safe Embedded Systems

2016English

Compositional Abstractions for Long-Run Properties of Stochastic Systems

2011English

Structured Transition Protocol for Children With Cystinosis

Frontiers in Pediatrics
Child HealthPediatricsPerinatology
2017English

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

On a Representation Theory for Ideal Systems

Pacific Journal of Mathematics
Mathematics
1977English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy