Open AccessPosted Content
Personal Multi-threading
TL;DR: In this paper, the view of multi-threading that emerges from thread algebra is applied to the case where a single agent maintains a hierarchical multithread as an architecture of its own activities.
read more
Abstract: Multi-threading allows agents to pursue a heterogeneous collection of tasks in an orderly manner. The view of multi-threading that emerges from thread algebra is applied to the case where a single agent, who may be human, maintains a hierarchical multithread as an architecture of its own activities.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Posted Content
A Nopreprint on the Pragmatic Logic of Fractions
TL;DR: Careful design of fraction related datatype and of logics appropriate for such datatypes is proposed as a path towards novel resolution of these complications.
•Posted Content
Decision Taking Avoiding Agency
TL;DR: A model, or rather a preliminary qualitative description, of decision taking avoiding agency is provided for systems consisting of or controlled by a solitary natural or artificial agent, as well as for a group of agents.
•Posted Content
Personal Multithreading: Account Snippet Proposals and Missing Account Indications
TL;DR: A modular way of making progress concerning personal multithreading is suggested: collecting account snippet proposals and missing account indications without an immediate need for integration into a coherent account.
References
A calculus of mobile processes, II
TL;DR: The a-calculus is presented, a calculus of communicating systems in which one can naturally express processes which have changing structure, including the algebraic theory of strong bisimilarity and strong equivalence, including a new notion of equivalence indexed by distinctions.
3.4K
Threaded cognition: An integrated theory of concurrent multitasking
Dario D. Salvucci,Niels Taatgen +1 more
TL;DR: The authors propose the idea of threaded cognition, an integrated theory of concurrent multitasking--that is, performing 2 or more tasks at once--that provides explicit predictions of how multitasking behavior can result in interference, or lack thereof, for a given set of tasks.
•Book
Modeling and Analysis of Communicating Systems
Jan Friso Groote,Mohammad Reza Mousavi +1 more
- 29 Aug 2014
TL;DR: This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems, and introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols.
225
Syntax and defining equations for an interrupt mechanism in process algebra
Jos C. M. Baeten,Jan A. Bergstra,Jan Willem Klop +2 more
- 01 Jan 1985
TL;DR: A mechanism is introduced to describe priorities in ACP, the algebra of communicating processes, whereby some actions have priority over others in a non-deterministic choice (or sum) that can be used to model the working of interrupts in a distributed system.
188
•Book
Feature Interactions in Telecommunications and Software Systems VI
Muffy Calder,Evan H. Magill +1 more
- 01 Jan 2000
TL;DR: This sixth workshop maintains the contest started at the last workshop in Sweden, but the winner is kept secret and only announced during the workshop, which is entering an exciting new phase for feature interaction.
159