Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 21, doi. 10.1093/comjnl/bxn009
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 2010 AND VI 53 AND IP 1
Results: 10
1
2
Editorial.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 1, doi. 10.1093/comjnl/bxp088
- By:
- Publication type:
- Article
3
Mum Effect as an Offshore Outsourcing Risk: A Study of Differences in Perceptions.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 120, doi. 10.1093/comjnl/bxn077
- By:
- Publication type:
- Article
4
Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 37, doi. 10.1093/comjnl/bxn075
- By:
- Publication type:
- Article
5
Using the Relational Model to Capture Topological Information of Spaces.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 69, doi. 10.1093/comjnl/bxn054
- By:
- Publication type:
- Article
6
Special Interest Messaging: A Comparison of IGM Approaches.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 50, doi. 10.1093/comjnl/bxm076
- By:
- Publication type:
- Article
7
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 90, doi. 10.1093/comjnl/bxn064
- By:
- Publication type:
- Article
8
Jari NurmiProcessor Design – System-on-Chip Computing for ASICs and FPGAs. Springer (2007). ISBN: 978-1-4020-5529-4. 525 pp. Hardcover.
- Published in:
- 2010
- By:
- Publication type:
- Book Review
9
A Hierarchy of Behavioral Equivalences in the π-calculus with Noisy Channels.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 3, doi. 10.1093/comjnl/bxn006
- By:
- Publication type:
- Article
10
Some Extensions on Threshold Visual Cryptography Schemes.
- Published in:
- Computer Journal, 2010, v. 53, n. 1, p. 107, doi. 10.1093/comjnl/bxn072
- By:
- Publication type:
- Article