Matthew Collinson

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

Ask others: ACM DL/Guide -

	2012
c3		Matthew Collinson, David J. Pym, Barry Taylor: A Framework for Modelling Security Architectures in Services Ecosystems. ESOCC 2012: 64-79
	2010
j7		Matthew Collinson, David J. Pym: Algebra and logic for access control. Formal Asp. Comput. 22(2): 83-104 (2010)
j6		Matthew Collinson, David J. Pym: Erratum to: Algebra and logic for access control. Formal Asp. Comput. 22(3-4): 483-484 (2010)
c2		Matthew Collinson, Brian Monahan, David J. Pym: Semantics for structured systems modelling and simulation. SimuTools 2010: 34
	2009
j5		Matthew Collinson, Brian Monahan, David J. Pym: A Logical and Computational Theory of Located Resource. J. Log. Comput. 19(6): 1207-1244 (2009)
j4		Matthew Collinson, David J. Pym: Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science 19(5): 959-1027 (2009)
	2008
j3		Matthew Collinson, David J. Pym, Edmund Robinson: Bunched polymorphism. Mathematical Structures in Computer Science 18(6): 1091-1132 (2008)
	2007
j2		Matthew Collinson, David J. Pym, Chris M. N. Tofts: Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences. Formal Asp. Comput. 19(4): 551-554 (2007)
	2006
j1		Matthew Collinson, David J. Pym: Bunching for Regions and Locations. Electr. Notes Theor. Comput. Sci. 158: 171-197 (2006)
	2005
c1		Matthew Collinson, David J. Pym, Edmund Robinson: On Bunched Polymorphism. CSL 2005: 36-50

Coauthor Index

Last update Mon May 20 22:56:59 2013 CET by the DBLP Team —

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