Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE

First Page		Document Content
Date: 2007-07-13 11:23:26 Computing Systems science Engineering Multi-agent systems Artificial intelligence Complex systems theory Simulation Ambient calculus Process calculi Agent-based model Ambient intelligence Software agent		Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE Add to Reading List Source URL: rodin.cs.ncl.ac.uk Download Document from Source Website File Size: 93,61 KB Share Document on Facebook

	Spatial and Epistemic Modalities in Constraint-Based Process Calculi Sophia Knight2 , Catuscia Palamidessi2 , Prakash Panangaden3 , Frank D. Valencia1 ´ CNRS and LIX Ecole Polytechnique de Paris DocID: 1tpMD - View Document
	A Generic Abstract Machine for Stochastic Process Calculi Loïc Paulevé Simon Youssef IRCCyN, UMR CNRS 6597 DocID: 1t3nA - View Document
	Synchronisation Patterns for Distributability in Process Calculi πm πs πa DocID: 1sY7P - View Document
	Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2 DocID: 1roDc - View Document
	Rigorous Development of Ambient Campus Applications that can Recover from Errors Budi Arief, Alexei Iliasov, and Alexander Romanovsky School of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne NE DocID: 1rom0 - View Document