scientific article; zbMATH DE number 1303724
From MaRDI portal
Publication:4250359
zbMath0921.18007MaRDI QIDQ4250359
Publication date: 30 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logictracesopen-map bisimulationcategory of nondeterministic domainscategory of presheaf categoriesmetalanguage for concurrent process languagespresheaf models for interacting processes
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (5)
Prime algebraicity ⋮ Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ A fully abstract denotational semantics for the calculus of higher-order communicating systems ⋮ Call-By-Push-Value from a Linear Logic Point of View
This page was built for publication: