Formal Aspects of Computing

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски

Volume 8; Issue 3

Integration of parametric and “ad hoc” second order polymorphism in a calculus with subtyping

Compositional verification of real-time systems with Explicit Clock Temporal Logic

Superposition refinement of reactive systems

A blocking model for reactive objects

The consistency theorem for free type definitions in Z

Book reviews