An Introduction to Compositional Methods for Concurrency and Their Application to Real-Time

Informatik aktuell - Netherlands
doi 10.1007/978-3-642-77580-2_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

On Real-Time Databases: Concurrency Control and Scheduling

Proceedings of the IEEE
Electronic EngineeringElectricalComputer Science
1994English

From ‘Stone-Age’ to ‘Real-Time’: Exploring Papuan Temporalities, Mobilities and Religiosities – An Introduction

2015English

An Application of Damage Detection Methods to a Real World Structure Subjected to Ground Motion Excitation

Journal of Civil Engineering and Architecture
2012English

Book Review: An Introduction to Multigrid Methods

Bulletin of the American Mathematical Society
MathematicsApplied Mathematics
1993English

Comparison of Two Automated Aerosol Typing Methods and Their Application to an EARLINET Station

Atmospheric Chemistry and Physics
Atmospheric Science
2019English

Introducing Concurrency to Workflows: Theory and a Real-World Case Study

International Journal of Advanced Computer Science and Applications
Computer Science
2014English

Church History: An Introduction to Research Methods and Resources

Theological Librarianship
2018English

An Introduction to Finite Volume Methods for Hyperbolic Conservation Laws

ESAIM: Proceedings
2005English

An Introduction to Video Methods in Organizational Research

Organizational Research Methods
Decision SciencesStrategyManagementManagement of TechnologyInnovation
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy