Conjunction on processes: Full-abstraction via ready-tree semantics

Luttgen, G. and Vogler, W. (2007) Conjunction on processes: Full-abstraction via ready-tree semantics. Theoretical Computer Science, 373 (31-2). pp. 19-40. ISSN 0304-3975

Abstract

Metadata

Authors/Creators:
  • Luttgen, G.
  • Vogler, W.
Institution: The University of York
Academic Units: The University of York > Chemistry (York)
Depositing User: York RAE Import
Date Deposited: 12 Feb 2009 14:12
Last Modified: 12 Feb 2009 14:12
Published Version: http://dx.doi.org/10.1016/j.tcs.2006.10.022
Status: Published
Publisher: Elsevier Science B.V., Amsterdam
Identification Number: https://doi.org/10.1016/j.tcs.2006.10.022

Share / Export

Statistics