Sebanyak 59 item atau buku ditemukan

Kamus Indonesia kontemporer

koleksi kosa kata bahasa Indonesia yang berasal dari bahasa asing dan kata-kata asing serta ungkapan bahasa asing yang banyak dipakai oleh penulis dan pembicara bahasa Indonesia

Tarekat tasauf dalam masyarakat Islam di Malaysia

Activities of Islamic mysticism sects among Muslims in Malaysia; paper of a seminar.

Activities of Islamic mysticism sects among Muslims in Malaysia; paper of a seminar.

Tanggapan dan penjelasan terhadap buku "Melacak kesesatan dan kedustaan ajaran tarekat Naqsyabandiyah Prof. Dr. H. Kadirun Yahya yang disusun oleh M. Amin Djamaluddin"

Verification of Concurrent Programs. Part II. Temporal Proof Principles

In this paper, the second of a series on the application of temporal logic to concurrent programs, we present proof methods for establishing invariance (safety) and eventuality (liveness) properties. The proof principle for establishing invariance properties is based on computational induction, and is a generalization of the inductive assertion method. For a restricted class of concurrent programs we present an algorithm for the automatic derivation of invariant assertions. In order to establish eventuality properties we present several proof principles that translate the structure of the program into basic temporal statements about its behavior. These principles can be viewed as providing the temporal semantics of the program. The basic statements thus derived are then combined into temporal proofs for the establishment of eventuality properties.

In this paper, the second of a series on the application of temporal logic to concurrent programs, we present proof methods for establishing invariance (safety) and eventuality (liveness) properties.