Q4857386 (Q4857386): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 03:46, 8 February 2024
scientific article; zbMATH DE number 821282
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 821282 |
Statements
28 November 1995
0 references
Handbook
0 references
Logic
0 references
Computer science
0 references
synchronization languages
0 references
algebra of communicating processes
0 references
operational semantics
0 references
complete partial orders
0 references
programming language for computable functions
0 references
effective algebras
0 references
program analysis
0 references
concurrency
0 references
transition systems
0 references
synchronization trees
0 references
event structures
0 references
Petri nets
0 references
concrete process algebras
0 references
concrete concurrent processes
0 references
full abstraction problem for PCF
0 references
denotational semantics
0 references
lambda calculus
0 references
implementability of algebras of data
0 references
computable algebras
0 references
topological algebras
0 references
effective domains
0 references
effective approximation
0 references
Scott domains
0 references
data-flow languages
0 references
parallelism
0 references
functional programming
0 references
logic programming
0 references
