Titlebook: Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science; 3rd and 4th IFIP TC Christian Derksen,Christoph

Champion

Expiration

Tim Dethlefs,Thomas Preisler,Wolfgang Renzessive than Owicki‘s, and her . correspond roughly to a special subset of our assertion language. Owicki‘s parallel rule can be thought of as being based on a slightly different form of parallel composition of assertions; our form does not require ., and our proof system is relatively complete witho

盤旋

物質(zhì)

Cultivate

Fester

Alexander Borgerding,Sven Rosinger This paper shows how some parts of computer science can be done in any suitable logical system, by introducing the notion of an institution as a precise generalization of the informal notion of a "logical system." A first main result shows that if an institution is such that interface declarations

persistence

Fabian Reck,Michael Kolloch,Alexander Fliaster This paper shows how some parts of computer science can be done in any suitable logical system, by introducing the notion of an institution as a precise generalization of the informal notion of a "logical system." A first main result shows that if an institution is such that interface declarations

Immunotherapy