scientific article
From MaRDI portal
Publication:3922134
zbMath0468.68013MaRDI QIDQ3922134
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
A UTP approach for rTiMo ⋮ About fair asynchrony ⋮ Fully abstract submodels of typed lambda calculi ⋮ An Action Semantics Based on Two Combinators ⋮ Logic Programs under Three-Valued Łukasiewicz Semantics ⋮ Denotational and algebraic semantics for the CaIT calculus ⋮ Fuzzy topology with respect to continuous lattices ⋮ Compact continuous \(L\)-domains ⋮ State-transition machines for lambda-calculus expressions ⋮ State-transition machines, revisited ⋮ CPO semantics of timed interactive actor networks ⋮ Denotational semantics of mixed computation processes for a structural programming language ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ Semantics of algorithmic languages ⋮ Approximation properties of abstract data types ⋮ Products of fuzzy subgroups
This page was built for publication:
