A Type System for Flexible Role Assignment in Multiparty Communicating Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-41157-1_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Flexible Method for Segmentation in Concept Assignment

English

Evolution of a Flexible Manufacturing System: From Communicating to Autonomous Product

Studies in Computational Intelligence
Artificial Intelligence
2013English

A Queueing Analysis for Job Assignment on Two-Type Heterogeneous Supercomputer System

2015English

ARC: A Specification Language for Communicating Systems

Computer Journal
Computer Science
1998English

Flexible Assignment Submission in Distance Learning

1995English

Deciding Type Isomorphisms in a Type-Assignment Framework

Journal of Functional Programming
Software
1993English

A Correct-By-Construction Model for Asynchronously Communicating Systems

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2016English

Optimum Redundancy Assignment of Supervisory Control Systems in Power System

IEEJ Transactions on Power and Energy
Electronic EngineeringPower TechnologyElectricalEnergy Engineering
1977English

Active Vibration Control of Two-Mass Flexible System Using Parametric Jordan Form Assignment

IFAC Proceedings Volumes
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy