The role of social networks in distributed informal information systems for innovation

von Vasconcelos, Vasco
Veröffentlicht in Organizational integration of enterprise systems and resources (2012)

Deciding the Bisimilarity of Context-Free Session Types

von Almeida, Bernardo
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

Statically Checking REST API Consumers

von Burnay, Nuno
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

The Different Shades of Infinite Session Types

von Gay, Simon J.
Veröffentlicht in FOSSACS (25. : 2022 : München) Foundation of software science and computation structures (2022)

História da provincia eclesiástica de São Paulo

von Smith de Vasconcellos, Vasco
Veröffentlicht 1957

CONCUR 2007 - concurrency theory : 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007 ; proceedings

Veröffentlicht 2007

System Fp with Context-free Session Types

von Pocas, Diogo
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Coordination models and languages : 11th international conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009; proceedings

Veröffentlicht 2009