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

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

Sort by Score Title Year -

121-121 from 121 results (0.014 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 5 6 7 8 9 10 11 12 13 Next »