Congruence formats for weak readiness equivalence and weak possible future equivalence

Huang, Xiaowei and Li, Jiao and Weiming, Lu (2010) Congruence formats for weak readiness equivalence and weak possible future equivalence. The Computer Journal. pp. 21-36. ISSN ‎0010-4620

[img]
Preview
Text
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.pdf

Download (290kB)
Item Type: Article
Subjects: G400 Computer Science
Divisions: Faculty of Computing, Engineering and the Built Environment
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology
Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Cyber Security
UoA Collections > UoA11: Computer Science and Informatics
Depositing User: Oana-Andreea Dumitrascu
Date Deposited: 01 Jun 2017 08:15
Last Modified: 01 Jun 2017 09:11
URI: http://www.open-access.bcu.ac.uk/id/eprint/4487

Actions (login required)

View Item View Item

Research

In this section...