Thomasius on the toleration of heresy

Over two thousand years the Christian Church identified a wider range and a greater number of heresies than most other religions and, when secular authorities did not protected the heretics, took drastic measures to persuade the heretic to recant and to extirpate the false doctrine. Heresy, of course, is a word like a box [End Page 201] that at different times may hold many different ideas and so some articles are dealing with definitions and identifications that are not the same. The editors suggest that the articles show a profound change in culture in the eighteenth century which means that present day scholars can barely imagine the mind-set that produced medieval attitudes to heresy. This is the task some of the authors have set themselves while others seek to explain how the change came about as part of the historical search for truth.

Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.