pith. sign in

arxiv: 1401.4973 · v1 · pith:L5EXFJHGnew · submitted 2014-01-20 · 💻 cs.LO

What are the fundamental structures of concurrency? We still don't know!

Samson Abramsky This is my paper
classification 💻 cs.LO
keywords fundamentalalgebrabeenconcurrencyfleetinggeometryglimpsesknow
0
0 comments X
read the original abstract

Process algebra has been successful in many ways; but we don't yet see the lineaments of a fundamental theory. Some fleeting glimpses are sought from Petri Nets, physics and geometry.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Completeness for Probabilistic Boolean Tapes

    cs.LO 2026-06 unverdicted novelty 7.0

    Establishes a complete axiomatization for probabilistic Boolean circuits via Markov kernel semantics, using intermediate completeness theorems for partial Boolean circuits and probabilistic Boolean tapes in rig categories.