OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: FORMAL LANGUAGES Repository: 37 Document Type: Artículo

Sort by Score Title Year -

591-591 from 591 results (0.018 seconds)

Title: Correspondence assertions for process synchronization in concurrent communications
Author: Bonelli, Eduardo / Compagnoni, Adriana / Gunter, Elsa
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Concurrent programming / Correspondence assertions / Pi-calculus / Session types / Type systems

Acceder

« Previous 52 53 54 55 56 57 58 59 60 Next »