Travelled to:
1 × United Kingdom
Collaborated with:
∅ D.Liu H.Zhu
Talks about:
formalis (1) pattern (1) algebra (1) specif (1) predic (1) design (1) comput (1) studi (1) logic (1) cloud (1)
Person: Ian Bayley
DBLP: Bayley:Ian
Contributed to:
Wrote 2 papers:
- PDP-2013-LiuZB #algebra #case study #in the cloud #specification
- A Case Study on Algebraic Specification of Cloud Computing (DL, HZ, IB), pp. 269–273.
- SEFM-2007-Bayley #design pattern #formal method #logic
- Formalising Design Patterns in Predicate Logic (IB), pp. 25–36.