The Catholic Indian missions and Grant's peace policy, 1870-1884.

http://www.archive.org/details/catholicindianmi013196mbp

Peace and Peacemaking in Paul Against the Backdrop of Greco-Roman Conceptions of Peace

Peace in the ancient world has been studied primarily from the perspective of pacifism and questions related to war and peace. This study employs a socio-historical method to determine how peace was understood in itself, not just with respect to war. It demonstrates that the Greco-Roman world viewed peace as brief periods of tranquility in an existence where conflict was the norm, while Paul regarded peace as the norm and conflict as an intrusive aberration. Through a historical and literary survey of Greco-Roman thought and culture, this study shows that myth, legend, religion, education, philosophy, and science created and perpetuated the idea that conflict was necessary for existence. Wars were fought to attain peace, which meant periods of calm, quiet, and security with respect to the gods, one's inner self, nature, others who are insiders, and others who are outsiders. Despite the desirability of peace, genuine peace was seldom experienced, and even then, only briefly, as underlying enmity persisted without resolution. While Paul supports the prevailing conception of peace as tranquility and felicity in relation to God, self, nature, and others, he differs as to the origin, attainment, and maintenance of peace. In Paul, peace originates in God and is graciously given to those who are justified and reconciled to God through Jesus Christ. God removes the enmity caused by sin and provides the indwelling Spirit to empower believers to think and behave in ways that promote and maintain peace. This study also examines how three social dynamics (honor-shame, patron-client, friendship-enmity) affect Paul's approach to conflict resolution with Philemon and Onesimus, Euodia and Syntyche, believers who are prosecuting one another in civil courts, and Peter. Rather than giving specific procedures for resolving conflict, Paul reinforces the believer's new identity in Christ and the implications of God's grace, love, and peace upon their thoughts, words, and behavior toward one another. Paul uses these three social dynamics to encourage believers in the right direction, but their ultimate accountability is to God. The study concludes with four strategic principles for educating the church and developing an atmosphere and attitude within the church for peacemaking.

Building Responsive Systems from Physically-correct Specifications

Predictability - the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements - is a crucial, highly desirable property of responsive embedded systems. This paper overviews a development methodology for responsive systems, which enhances predictability by eliminating potential hazards resulting from physically-unsound specifications. The backbone of our methodology is the Time-constrained Reactive Automaton (TRA) formalism, which adopts a fundamental notion of space and time that restricts expressiveness in a way that allows the specification of only reactive, spontaneous, and causal computation. Using the TRA model, unrealistic systems - possessing properties such as clairvoyance, caprice, in finite capacity, or perfect timing - cannot even be specified. We argue that this "ounce of prevention" at the specification level is likely to spare a lot of time and energy in the development cycle of responsive systems - not to mention the elimination of potential hazards that would have gone, otherwise, unnoticed. The TRA model is presented to system developers through the CLEOPATRA programming language. CLEOPATRA features a C-like imperative syntax for the description of computation, which makes it easier to incorporate in applications already using C. It is event-driven, and thus appropriate for embedded process control applications. It is object-oriented and compositional, thus advocating modularity and reusability. CLEOPATRA is semantically sound; its objects can be transformed, mechanically and unambiguously, into formal TRA automata for verification purposes, which can be pursued using model-checking or theorem proving techniques. Since 1989, an ancestor of CLEOPATRA has been in use as a specification and simulation language for embedded time-critical robotic processes.