Deriving Bisimulation Congruences: 2-categories vs precategories (talk)

Sassone, V. (2003) Deriving Bisimulation Congruences: 2-categories vs precategories (talk).

Download

PDF
Download (963Kb)

Talk given at FOSSACS 2003.

Item Type:	Other
Keywords:	talk, seminar, vsTalk
Divisions:	Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science
Item ID:	262315
Date Deposited:	11 Apr 2006
Last Modified:	01 Mar 2012 23:15
Contributors:	Sassone, V. (Author)
Date:	2003
Status:	Published
Further Information:	Google Scholar
URI:	http://eprints.soton.ac.uk/id/eprint/262315

URI:
RDF:	RDF+N-Triples, RDF+N3, RDF+XML, Browse.

View Item