K. Lodaya, M. Mukund, R. Ramanujam, and P.S. Thiagarajan. Models and Logics for True Concurrency. Some Models and Logics for Concurrency, P.S. Thiagarajan (ed.), Advanced School on the Algebraic, Logical and Categorical Foundations of Concurrency. Gargnano del Garda, 1991  Home/Search   Document Not in Database   Summary   Related Articles

....have given essential input to the work reported here. The results in [FM91, FM92, SSC92] have been influential. FOOPS [GW90] has provided insights in the algebraic nature of objects. Algebraic approaches to concurrency are given in [AR92, MM93] DTL is influenced by the n agent logic in [LMRT91, Th94] but we deviate from that logic in essential respects: we have more elementary temporal operators, and our interpretations are quite different. 2 Abstract Specification In its signature parts, our abstract object specification language is influenced by TROLL light [CGH92, GCH93] an ....

....is [ES94] 8 There are two important points which we did not address in this paper: proofs and structuring. Another important issue was only briefly mentioned, namely subsorting 1 . For proving properties of systems as specified in our language, we envisage a proof system for DTL. LMRT91] give a sound a complete proof system for their propositional n agent logic. Although our logic is similar, a proof system for DTL is not easy to establish. It is not even clear whether a complete one exists. For coping with the structure of specifications, we have to introduce appropriate ....

K. Lodaya, M. Mukund, R. Ramanujam, and P.S. Thiagarajan. Models and Logics for True Concurrency. Some Models and Logics for Concurrency, P.S. Thiagarajan (ed.), Advanced School on the Algebraic, Logical and Categorical Foundations of Concurrency. Gargnano del Garda, 1991

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC