scientific article; zbMATH DE number 3890714
From MaRDI portal
Publication:3347277
Recommendations
- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog
- Fair constraint merging tableaux in lazy functional programming style
- Merging by Decomposition Revisited
- Merging Logic Programs under Answer Set Semantics
- scientific article; zbMATH DE number 3926234
- scientific article; zbMATH DE number 3960987
- scientific article; zbMATH DE number 1547725
- Merge-and-shrink: a compositional theory of transformations of factored transition systems
Cited in
(13)- Fair, biased, and self-balancing merge operators: Their specification and implementation in Concurrent Prolog
- Merging regular processes by means of fixed-point theory
- On the consistency of Koomen's fair abstraction rule
- Applications of compactness in the Smyth powerdomain of streams
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency
- Terminal metric spaces of finitely branching and image finite linear processes
- Linear time and branching time semantics for recursion with merge
- De Bakker-Zucker processes revisited
- Wedge sum, merge and inconsistency
- scientific article; zbMATH DE number 4092750 (Why is no real title available?)
- Generalizing finiteness conditions of labelled transition systems
- Three metric domains of processes for bisimulation
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347277)
