English
Related papers

Related papers: Processes, Roles and Their Interactions

200 papers

The purpose of this report is to define abstractions for multi-agent systems under coupled constraints. In the proposed decentralized framework, we specify a finite or countable transition system for each agent which only takes into account…

Systems and Control · Computer Science 2015-03-02 Dimitris Boskos , Dimos V. Dimarogonas

The article bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to its environment while underway. Central to any compositional theory…

Programming Languages · Computer Science 2023-04-11 Glynn Winskel

Reaction systems are discrete dynamical systems inspired by bio-chemical processes, whose dynamical behaviour is expressed by set-theoretic operations on finite sets. Reaction systems thus provide a description of bio-chemical phenomena…

Formal Languages and Automata Theory · Computer Science 2020-08-05 Alberto Dennunzio , Enrico Formenti , Luca Manzoni , Antonio E. Porreca

A collaboration network is a graph formed by communication channels between parties. Parties communicate over these channels to establish secrets, simultaneously enforcing interdependencies between the secrets. The paper studies properties…

Logic in Computer Science · Computer Science 2010-11-02 Sara Miner More , Pavel Naumov

We identify the algebraic structure of the material histories generated by concurrent processes. Specifically, we extend existing categorical theories of resource convertibility to capture concurrent interaction. Our formalism admits an…

Logic in Computer Science · Computer Science 2023-06-22 Chad Nester

We study systems of interacting reinforced stochastic processes, where agents' decisions evolve under reinforcement, network-mediated interactions, and environmental influences. In competitive environments with irreducible networks, we…

Probability · Mathematics 2025-09-18 Michele Aleandri , Paolo Dai Pra , Ida Germana Minelli

In decentralized stochastic control (or stochastic team theory) and game theory, if there is a pre-defined order in a system in which agents act, the system is called \textit{sequential}, otherwise it is non-sequential. Much of the…

Optimization and Control · Mathematics 2025-08-05 Omar Mrani-Zentar , Ryan Simpson , Serdar Yüksel

Multi-agent models are a suitable starting point to model complex social interactions. However, as the complexity of the systems increase, we argue that novel modeling approaches are needed that can deal with inter-dependencies at different…

Artificial Intelligence · Computer Science 2018-09-25 Frank Dignum

The description of the dynamics of complex systems, in particular the capture of the interaction structure and causal relationships between elements of the system, is one of the central questions of interdisciplinary research. While the…

Machine Learning · Statistics 2025-04-30 Jakub Kořenek , Pavel Sanda , Jaroslav Hlinka

We introduce the mathematical theory of the particle systems that interact via permutations, where the transition rates are assigned not to the jumps from a site to a site, but to the permutations themselves. This permutation processes can…

Probability · Mathematics 2007-05-23 Yevgeniy Kovchegov

Experimental results often do not assess network structure; rather, the network structure is inferred by the dynamics of the nodes. From the dynamics of the nodes one then constructs a network of functional relations, termed the functional…

Adaptation and Self-Organizing Systems · Physics 2017-11-22 Jake Stroud , Mauricio Barahona , Tiago Pereira

Scientists investigate the dynamics of complex systems with quantitative models, employing them to synthesize knowledge, to explain observations, and to forecast future system behavior. Complete specification of systems is impossible, so…

Quantitative Methods · Quantitative Biology 2007-05-23 S. R. Borrett , W. Bridewell , P. Langely , K. R. Arrigo

Networked systems display complex patterns of interactions between a large number of components. In physical networks, these interactions often occur along structural connections that link components in a hard-wired connection topology,…

Neurons and Cognition · Quantitative Biology 2018-04-03 Jason Kim , Jonathan M. Soffer , Ari E. Kahn , Jean M. Vettel , Fabio Pasqualetti , Danielle S. Bassett

Population protocols are a model of distributed computation intended for the study of networks of independent computing agents with dynamic communication structure. Each agent has a finite number of states, and communication opportunities…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-09-02 Michael Raskin

Collaboration models and tools aim at improving the efficiency and effectiveness of human interactions. Although social relations among collaborators have been identified as having a strong influence on collaboration, they are still…

Social and Information Networks · Computer Science 2013-03-08 Willy Picard

Network protocols are programs with inputs and outputs that follow predefined communication patterns to synchronize and exchange information. There are many protocols and each serves a different purpose, e.g., routing, transport, secure…

Cryptography and Security · Computer Science 2025-11-04 Max von Hippel

An algebraic formalism for the study of interacting particle systems is developed. Particle processes are described in terms of the category theory. The problem for the unique description of these processes is discussed. Categories relevant…

Quantum Algebra · Mathematics 2007-05-23 Wladyslaw Marcinek

Complex system arises as a result of the nonlinear interactions between components. In particular, the evolutionary dynamics of a multivariate system encodes the ways in which different variables interact with each other individually or in…

Information Theory · Computer Science 2020-04-22 Peishi Jiang , Praveen Kumar

This work continues the development of an intensional approach to computability initiated in previous work, in which programs and computations, rather than functions, constitute the primary objects of study. In this setting, models of…

Logic in Computer Science · Computer Science 2026-05-19 Thomas Seiller

In computer science, there is a distinction between closed systems, whose behavior is totally determined in advance, and open systems, that are systems maintaining a constant interaction with an unspecified environment. Closed systems are…

Logic in Computer Science · Computer Science 2009-11-18 Axel Legay , Marco Faella
‹ Prev 1 3 4 5 6 7 10 Next ›