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

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

Record type: Other

Abstract

Talk given at FOSSACS 2003.

Text

grposPres2.pdf - Other

Download (986kB)

Published date: 2003

Keywords: talk, seminar, vsTalk

Organisations: Web & Internet Science

Local EPrints ID: 262315

URI: http://eprints.soton.ac.uk/id/eprint/262315

PURE UUID: 4e0d60fc-52ae-43dc-a99e-10fd42edf236

ORCID for V. Sassone:

orcid.org/0000-0002-6432-1482

Date deposited: 11 Apr 2006

Last modified: 10 Sep 2024 01:40

Author: V. Sassone

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.