Intentional Automata: A Context-Dependent Model for Component Connectors

The Constraint Automata for the Components and Channels in Parrow's

Reo model of an auction process and its mCRL2 specification

Frontiers Artificial Intelligence Is Stupid and Causal Reasoning Will Not Fix It

Static slicing of Use Case Maps requirements models

Combining system-theoretic process analysis and availability assessment: A subsea case study - Juntao Zhang, Hyungju Kim, Yiliu Liu, Mary Ann Lundteigen, 2019

Computational psychiatry: from synapses to sentience

Timed Petri nets for fluent turn-taking over multimodal interaction resources in human-robot collaboration - Crystal Chao, Andrea Thomaz, 2016

Holistically evaluating agent-based social systems models: a case study - Gnana K Bharathy, Barry Silverman, 2013

PDF) Automata for Context-Dependent Connectors

PDF) Deconstructing Reo

Tensor Networks for Interpretable and Efficient Quantum-Inspired Machine Learning

PDF) Automata for Context-Dependent Connectors