Chris Chilton

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
i2		Chris Chilton, Marta Z. Kwiatkowska, Xu Wang: Revisiting Timed Specification Theory II : Realisability. CoRR abs/1304.7590 (2013)
	2012
c4		Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska: A Compositional Specification Theory for Component Behaviours. ESOP 2012: 148-168
c3		Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska: Assume-Guarantee Reasoning for Safe Component Behaviours. FACS 2012: 92-109
c2		Chris Chilton, Marta Z. Kwiatkowska, Xu Wang: Revisiting Timed Specification Theories: A Linear-Time Perspective. FORMATS 2012: 75-90
i1		Chris Chilton, Marta Z. Kwiatkowska, Xu Wang: Revisiting Timed Specification Theories: A Linear-Time Perspective. CoRR abs/1206.4504 (2012)
	2010
c1		Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli: Towards a Connector Algebra. ISoLA (2) 2010: 278-292

Coauthor Index

Last update Fri May 24 10:09:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page