The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The basic framework of domain -calculus was formulated in [39] more than ten years ago. This paper provides an improved formulation of a fragment of the -calculus without function space or powerdomain constructions, and studies some open problems related to this -calculus such as decidability and expressive power. A class of language equations is introduced for encoding -formulas in order to derive results related to decidability and expressive power of non-trivial fragments of the domain -calculus....
The basic framework of domain -calculus was
formulated in [39] more than ten years ago.
This paper provides an improved formulation of a fragment of the -calculus
without function space or powerdomain constructions,
and studies some open problems
related to this -calculus such as
decidability and expressive power.
A class of language equations is introduced
for encoding -formulas in order to
derive results related to decidability and expressive power of
non-trivial fragments of the domain -calculus....
Download Results (CSV)