scientific article; zbMATH DE number 3806938
From MaRDI portal
zbMath0511.68032MaRDI QIDQ4749207
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Structured algebraic specifications: A kernel language, Continuous semilattices, Synchronization trees, Deadlock and fairness in morphisms of transition systems, Unnamed Item, Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay, Keep it fair: equivalence and composition, Scott topology on Smyth power posets, Unnamed Item, Domain theory in logical form, An extensional fixed-point semantics for nondeterministic data flow, Duality beyond sober spaces: Topological spaces and observation frames, The expressive power of indeterminate dataflow primitives, A \(\kappa\)-denotational semantics for map theory in ZFC+SI, SOS rule formats for zero and unit elements, A fully abstract denotational semantics for the calculus of higher-order communicating systems, Weak and strong fairness in CCS, Domain semantics of possibility computations, From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models, Separately continuous algebras, A fair calculus of communicating systems, CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions, Fairness and conspiracies, Probabilistic Completion of Nondeterministic Models, On powerdomains and modality
