Port Automata and the Algebra of Concurrent Processes

No abstract is available for this paper.

• Publication year

  1983

• Venue

  Journal of computer and system sciences (Print)

• Publication date

  1983-08-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/0022-0000(83)90028-4
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The structure of “THE”-multiprogramming system

  1983cited by this paper
• Communicating sequential processes

  1983cited by this paper
• A Calculus of Communicating Systems

  1980cited by this paper
• The complexity of problems in systems of communicating sequential processes (Extended Abstract)

  1979cited by this paper
• Concurrent Processes and Their Syntax

  1979cited by this paper
• Distributed processes: a concurrent programming concept

  1978cited by this paper
• Viewing Control Structures as Patterns of Passing Messages

  1977cited by this paper
• A Powerdomain Construction

  1976cited by this paper
• Fuzzy machines in a category

  1975cited by this paper
• The specification of process synchronization by path expressions

  1974cited by this paper
• Concepts of Net Theory

  1973cited by this paper
• Co-operating sequential processes

  1968cited by this paper
• The structure of the “THE”-multiprogramming system

  1967cited by this paper

• An algorithm for processing block diagram models of dynamical systems and an open-source visual-programming simulation tool

  2024cites this paper
• Toward Formal Models and Languages for Verifiable Multi-Robot Systems

  2018cites this paper
• Performance verification for robot missions in uncertain environments

  2017cites this paper
• Classification and Prediction of Human Behaviors by a Mobile Robot

  2017cites this paper
• Performance Verification for Behavior-Based Robot Missions

  2015cites this paper
• Eldi: An Agent Based Museum Robot (cid:3)

  2013cites this paper
• A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

  2013cites this paper
• Getting it right the first time: Robot mission guarantees in the presence of uncertainty

  2013cites this paper
• A Software Ar hite ture for Programming Roboti Systems based on the Dis rete Event System Paradigm

  2013cites this paper
• Eldi ' s A tivities in a Museum

  2013cites this paper
• Integrating an Entertainment Robot (cid:3)

  2013cites this paper
• Getting it right the first time: predicted performance guarantees from the analysis of emergent behavior in autonomous and semi-autonomous systems

  2012cites this paper
• Designing autonomous robot missions with performance guarantees

  2012cites this paper
• Designing Autonomous Robot Missions with Performance Guarantees *

  2012cites this paper
• An Approach to Distributed Component-Based Software for Robotics

  2012cites this paper
• Using a virtual world for robot planning

  2012cites this paper
• Comprehension and prediction of astronaut dynamics

  2011cites this paper
• Large-Scale Simulator for Global Data Infrastructure Optimization

  2011cites this paper
• A cognitive approach to classifying perceived behaviors

  2010cites this paper
• DyKnow : A Stream-Based Knowledge Processing Middleware Framework

  2009cites this paper
• Efficient Embedded Runtime Systems through Port Communication Optimization

  2008cites this paper
• A Prey Catching and Predator Avoidance Neural-Schema Architecture for Single and Multiple Robots

  2008cites this paper
• Cellular Engineering

  2008cites this paper
• Impact of Runtime Architectures on Control System Stability

  2007cites this paper
• CONCORD: A Control Framework for Distributed Real-Time Systems

  2007cites this paper
• A cognitive robotics approach to comprehending human language and behaviors

  2007cites this paper
• Obstacle avoidance using predictive vision based on a dynamic 3D world model

  2006cites this paper
• Algorithmic Control in Concurrent Computations

  2006cites this paper
• Embodying a cognitive model in a mobile robot

  2006cites this paper
• A S L A Hierarchical Computational Model for Distributed Heterogeneous Systems

  2005cites this paper
• Another Component Based Programming Framework for Robotics (cid:1)

  2005cites this paper
• Component runtime self-adaptation in robotics

  2005influential citation
• More about CoolBOT ∗

  2005cites this paper
• Runtime self-adaptation in a component-based robotic framework

  2005cites this paper
• Operational Semantics for the Abstract Schema Language ASL

  2005cites this paper
• Mathematical Models in Schema Theory

  2005cites this paper
• Programming by Integration in Robotics

  2005influential citation
• CoolBOT: A Component Model and Software Infrastructure for Robotics

  2005cites this paper
• Component software in robotics

  2004cites this paper
• ADAPT: A Cognitive Architecture for Robotics

  2004cites this paper
• Integrating perception, language and problem solving in a cognitive agent for a mobile robot

  2004cites this paper
• Integrating robotics software

  2004cites this paper
• Towards performance guarantees for emergent behavior

  2004cites this paper
• Designing a Robot Cognitive Architecture with Concurrency and Active Perception

  2004cites this paper
• Integrating systems in robotics

  2004cites this paper
• Real-time Control Software Equipped with Dynamic Reconfigurability for Its Sequential Process

  2004cites this paper
• Programming with Components in Robotics

  2003cites this paper
• A hierarchical architecture for behavior-based robots

  2002cites this paper
• The mirror system, imitation, and the evolution of language

  2002cites this paper
• Measuring Execution Time and Real-Time Performance

  2001cites this paper
• Eldi ' s A tivities in a MuseumM

  2001cites this paper
• A Schema-Theory Approach to Specifying and Analyzing the Behavior of Robot Systems

  2000cites this paper
• CoolBOT: A Component-Oriented Programming Framework for Robotics

  2000influential citation
• High speed hardware-assisted real-time interprocess communication for embedded microcontrollers

  2000cites this paper
• Software Components for Real Time, 12/2000

  2000cites this paper
• Designing software components for real-time applica-tions

  2000cites this paper
• Twenty-Five Most Common Mistakes with Real-Time Software Development

  1999cites this paper
• 30 Pitfalls for Real-Time Software Developers, Part 1, 10/99

  1999cites this paper
• The Mirror System, Imitation, and the Evolution of Language

  1999cites this paper
• Component Specifications for Robotics Integration

  1999cites this paper
• An Expectation-Based Framework of Object Schemas and Port-Based Agents for Disparate Feedback Assimilation

  1999cites this paper
• An Interprocess Communication Mechanism to Enable Real-Time Component-Based Software for Embedded Microcontrollers

  1999cites this paper
• Twenty-Five Most Common Mistakes with Real-Time Software Development

  1999cites this paper
• Component Speci cations for Robotics Integration

  1998cites this paper
• Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects

  1997cites this paper
• A mechanism for communicating in dynamically reconfigurable embedded systems

  1997cites this paper
• A COMMUNICATION MECHANISM TO ENABLE REAL-TIME COMPONENT-BASED SOFTWARE FOR EMBEDDED MICROCONTROLLERS

  1997cites this paper
• VEMA: Multi-Agent System for Electronic Commerce on Internet

  1997cites this paper
• Final Draft the Chimera Methodology : Designing Dynamically Reconfigurable and Reusable Real-time Software Using Port-based Objects 1

  1996influential citation
• The Chimera Methodology: Designing Dynamically Reconfigurable and Reusable Real-Time Software Using Port-Based Objects

  1996influential citation
• Rapid development of robotic applications using component-based real-time software

  1995cites this paper
• Real-time software design and analysis of reconfigurable multi-sensor based systems

  1994influential citation
• Software Assembly for Real Time Applications Based on a Distributed Shared Memory Model

  1994cites this paper
• The Chimera Methodology: designing dynamically reconfigurable real-time software using port-based objects

  1994influential citation
• ASL : Hierarchy , Composition , Heterogeneity , and Multi-Granularity in Concurrent Object-Oriented Programming

  1993cites this paper
• The categorical framework of object-oriented concurrent systems

  1993cites this paper
• Integration of real-time software modules for reconfigurable sensor-based control systems

  1992cites this paper
• The categorical framework of open systems

  1992cites this paper
• Asymptotic behaviour of output feedback for a class of non-deterministic discrete event systems

  1991cites this paper
• Linking schemas and module specifications for distributed systems

  1990cites this paper
• Asymptotic behavior of a class of nondeterministic discrete event systems

  1990cites this paper
• The control of discrete event systems

  1989cites this paper
• A formal model of computation for sensory-based robotics

  1989cites this paper
• Concurrent Transition Systems

  1989cites this paper
• Concurrent transition system semantics of process networks

  1987cites this paper
• The Metric Closure Powerspace Construction

  1987cites this paper
• Levels of modeling of mechanisms of visually guided behavior

  1987cites this paper
• Supervisory control of a class of discrete event processes

  1987cites this paper
• Order Semantics of Data Types

  1986cites this paper
• Towards Distributed Robot Control Systems

  1985cites this paper
• A simple set of grasps for a dextrous hand

  1985cites this paper
• A Task-Level Model of Distibuted Computation for Sensory-Based Control of Complex Robot Systems

  1985cites this paper
• Functional Behvior of Nondeterministic and Concurrent Programs

  1984cites this paper
• 00 December 2000 Embedded Systems Programming Software Components for Real Time Create Your Own Framework for Component-based Real-time Software without a Huge Cost, Effort, or Run-time Overhead

  year unknowncites this paper
• Design of Dynamically Reconfigurable " o Real-Time Software using Port-Based Objects

  year unknowncites this paper