Titlebook: Analysis and Verification of Multiple-Agent Languages; 5th LOMAPS Workshop, Mads Dam Conference proceedings 1997 Springer-Verlag Berlin Hei

Mosaic

樹上結(jié)蜜糖

A non-standard semantics for generating reduced transition systems,state space of the transition system corresponding to a CCS process, which takes into account the deadlock freeness property. The reduced transition system is generated by means of a . containing a set of rules which are an abstraction, preserving deadlock freeness, of the inference rules of the standard semantics.

沒有準備

Formalising and prototyping a concurrent object-based language,fined via a translation into the .-calculus process algebra. As is (perhaps regrettably) standard when giving the semantics of a language in such a way, we concentrate on faithfully capturing the program dynamics while abstracting away from many important aspects of object-oriented languages, most notably inheritance.

相一致

強有力

Polymorphic subtyping for effect analysis: The algorithm,ragment of Concurrent ML. First we define a type inference algorithm and then construct procedures for constraint normalisation and simplification. Next these algorithms are proved syntactically sound with respect to the annotated type and effect system.

FEIGN

Priorities in Statecharts,Statecharts that does not support priority is introduced, then various syntactic and semantics extensions are examined and compared from the point of view of expressing a general notion of priority. Finally, a special kind of priority, interrupt, is investigated.

分離

其他

Analysis and Verification of Multiple-Agent Languages978-3-540-68052-9Series ISSN 0302-9743 Series E-ISSN 1611-3349

效果

Grundlagen der Digitalen Modulation,fined via a translation into the .-calculus process algebra. As is (perhaps regrettably) standard when giving the semantics of a language in such a way, we concentrate on faithfully capturing the program dynamics while abstracting away from many important aspects of object-oriented languages, most notably inheritance.

概觀