OOn the composition and decomposition of assertionsOn the composition and decomposition of assertionsde Glynn WinskelEdiciones (1)On the composition and decomposition of assertions. (1984)University of Cambridge, Computer Laboratory · inglésMás obras de Glynn WinskelCCategories of models for concurrencyCategories of models for concurrencyThe formal semantics of programming languagesUUsing information systems to solve recursive domain equationUsing information systems to solve recursive domain equations effectively
UUsing information systems to solve recursive domain equationUsing information systems to solve recursive domain equations effectively
AA complete proof system for SCCS with modal assertionsA complete proof system for SCCS with modal assertions
CCategory theory and models for parallel computationCategory theory and models for parallel computation
