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:
2013
2007Wrote 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.