Keywords
OrthogonalityConcurrencyComputer scienceParallelism (grammar)Variety (cybernetics)MAGIC (telescope)Process (computing)Class (philosophy)Development (topology)Dimension (graph theory)Theoretical computer scienceMathematicsArtificial intelligenceDistributed computingProgramming languageParallel computingPure mathematics
Affiliated Institutions
Related Publications
Characteristics of Organizational Environments and Perceived Environmental Uncertainty
Twenty-two decision groups in three manufacturing and three research and development organizations are studied to identify the characteristics of the environment that contribute...
Actors: A Model of Concurrent Computation in Distributed Systems
A foundational model of concurrency is developed in this thesis. It examines issues in the design of parallel systems and show why the actor model is suitable for exploiting lar...
Casting Petri Nets into Programs
A programming system has been implemented in which annotated Petri nets are used as machine-processable high-evel design representations. The nets can be used to express the par...
A training algorithm for optimal margin classifiers
A training algorithm that maximizes the margin between the training patterns and the decision boundary is presented. The technique is applicable to a wide variety of the classif...
Stability of multiagent systems with time-dependent communication links
We study a simple but compelling model of network of agents interacting via time-dependent communication links. The model finds application in a variety of fields including sync...
Publication Info
- Year
- 1985
- Type
- book-chapter
- Pages
- 477-498
- Citations
- 828
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
828
OpenAlex
Cite This
David Harel,
Amir Pnueli
(1985).
On the Development of Reactive Systems.
, 477-498.
https://doi.org/10.1007/978-3-642-82453-1_17
Identifiers
- DOI
- 10.1007/978-3-642-82453-1_17