Towards an infinitary logic of domains: Abramsky logic for transition systems

{
  "doi": null,
  "year": 1999,
  "title": "Towards an infinitary logic of domains: Abramsky logic for transition systems",
  "venue": "Information and Computation",
  "authors": [
    "M.M. Bonsangue",
    "J.N. Kok"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}