Add to ORKGs are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. UBLCS Technical Report Series 93-15 Data Algorithm: A Numerical Method to Extract Shape Information from Gray Scale Images, R. Davoli, F. Tamburini, June 1993. 93-16 Towards Performance Evaluation in Process Algebras, R. Gorrieri, M. Roccetti, July 1993. 93-17 Split and ST Bisimulation Semantics, R. Gorrieri, C. Laneve, July 1993. 93-18 Multilanguage Interoperability, G. Attardi, M. Gaspari, July 1993. 93-19 HERMES: an Expert System for the Prognosis of Hepatic Diseases, I. Bonf a, C. Maioli, F. Sarti, G.L. Milandri, P.R. Dal Monte, September 1993. 93-20 An ...
International audienceWe recall techniques, mainly based on the theory of process calculi, that we u...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...
S. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Questions and ...
S. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Written reques...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...
AbstractThis paper develops a mathematical framework to describe and reason about semantic theories ...
Rev. edSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--5/91) / BL...
S. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Written request...
Submitted for D. Phil in Sep 1991SIGLEAvailable from British Library Document Supply Centre- DSC:762...
Abstract. We propose a process algebra obtained by adapting the process algebra with continuous rela...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/90) / BLDSC - B...
Process algebra is a widely accepted and much used technique in the specification and verification o...
International audienceWe recall techniques, mainly based on the theory of process calculi, that we u...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...
S. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Questions and ...
S. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Written reques...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-SCCS-R--9/93) / BLDSC -...
AbstractThis paper develops a mathematical framework to describe and reason about semantic theories ...
Rev. edSIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--5/91) / BL...
S. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. Written request...
Submitted for D. Phil in Sep 1991SIGLEAvailable from British Library Document Supply Centre- DSC:762...
Abstract. We propose a process algebra obtained by adapting the process algebra with continuous rela...
SIGLEAvailable from British Library Document Supply Centre- DSC:7623.6171(SU-CS-R--2/90) / BLDSC - B...
Process algebra is a widely accepted and much used technique in the specification and verification o...
International audienceWe recall techniques, mainly based on the theory of process calculi, that we u...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. Al...