Work

Typing Liveness in Multiparty Communicating Systems

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-662-43376-8_10

Authors: Luca Padovani, Vasco Thudichum Vasconcelos, Hugo Torres Vieira

Institutions: University of Turin, University of Lisbon, Laboratório de Sistemas Informáticos de Grande Escala

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Ministero dell’Istruzione, dell’Università e della Ricerca, Fundação para a Ciência e a Tecnologia

Awards: Projecto Estratégico - UI 408 - 2014, CINA: Composizionalità, Interazione, Negoziazione, Autonomicità per la società ICT futura

OpenAlex ID: W169793935

FWCI: 0.982

Cites: 30

Cited by: 28

Related to: 10