Titlebook: Object Orientation with Parallelism and Persistence; Burkhard Freitag,Cliff B. Jones,Hans-J?rg Schek Book 1996 Kluwer Academic Publishers

評(píng)論者

阻撓

殖民地

Amendment

https://doi.org/10.1007/978-1-4613-1437-0code; communication; constraint; database; databases; design; information; language; object; object orientati

GEM

978-1-4612-8625-7Kluwer Academic Publishers 1996

mechanical

MILK

哺乳動(dòng)物

我正派

Bart Jacobsn Proze?steuerung in seiner Grundkonzeption, unter Nennung dessen spezifischer Vorzüge und Nachteile, werden einerseits die Grenzen, aber auch die eindrucksvolle Breite der Einsatzm?glichkeiten eines solchen Systems sichtbar, andererseits wird deutlich, da? einer solchen Steuerung ein ?quivalentes P

Complement

Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Sence inherent with concurrency. The semantics of a particular object-based design language have been written using operational semantics and by a mapping to the first-order polyadic π-calculus. This paper focuses on the operational semantics and indicates how proofs of some key properties about inte