On an open problem of Amadio and Curien: The finite antichain condition

DOI10.1016/j.ic.2005.06.002zbMath1088.18004DBLPjournals/iandc/BugliesiCMS05OpenAlexW2119972514WikidataQ62041664 ScholiaQ62041664MaRDI QIDQ2573335

Yanyan Li

Publication date: 7 November 2005

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2005.06.002

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Related Items (4)

A taxonomy of process calculi for distribution and mobility ⋮ On the largest Cartesian closed category of stable domains ⋮ Maximality and totality of stable functions in the category of stable bifinite domains ⋮ A partial solution to an open problem of Amadio and Curien

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bisimulation for higher-order process calculi
• A calculus of mobile processes. II
• On the expressiveness of internal mobility in name-passing calculi
• An efficiency preorder for processes
• On reduction-based process semantics
• Mobile ambients
• What is a ``good encoding of guarded choice?
• Decoding choice encodings
• The seal calculus
• An overview of Boxed Ambients
• Equational properties of mobile ambients
• Controlling interference in ambients
• Extensionality and intensionality of the ambient logics
• Barbed bisimulation
• Programming Languages and Systems

This page was built for publication: On an open problem of Amadio and Curien: The finite antichain condition