Structural operational semantics for weak bisimulations von Bloom, Bard

Volltext

Bisimulation can't be traced von BLOOM, B, ISTRAIL, S, MEYER, A. R

Volltext

Ferret: Programming language support for multiple dynamic classification von Bloom, Bard, Keyser, Paul, Simmonds, Ian, Wegman, Mark

Volltext

Precongruence formats for decorated trace semantics von Bloom, Bard, Fokkink, Wan, van Glabbeek, Rob J.

Volltext

Structured operational semantics for process algebras and equational axiom systems von Bloom, Bard

Volltext

Robust scripting via patterns von Bloom, Bard, Hirzel, Martin J.

Volltext

Method of approximate document generation von BLOOM BARD

Volltext bestellen

Transformational design and implementation of a new efficient solution to the ready simulation problem von Bloom, Bard, Paige, Robert

Volltext

On the expressive power of CCS von Dsouza, Ashvin, Bloom, Bard

Volltext

Reviews von BLOOM, BARD

Volltext

Turning SOS Rules into Equations von Aceto, L., Bloom, B., Vaandrager, F.

Volltext

When is partial trace equivalence adequate? von BLOOM, B

Volltext

METHOD OF APPROXIMATE DOCUMENT GENERATION von BLOOM BARD

Volltext bestellen

Can LCF be topped? Flat lattice models of typed λ-calculus von Bloom, Bard

Volltext

Compiling joy into Silicon: An exercise in applied structural operational semantics von Weber, Sam, Bloom, Bard, Brown, Geoffrey

Volltext

Method and apparatus for providing symbolic mode checking of business application requirements von Keyser, Paul T, Simmonds, Ian D, Bloom, Bard, Wegman, Mark N

Volltext bestellen

Constructing two-writer atomic registers von Bloom, B.

Volltext

Using a Protean language to enhance expressiveness in specification von Bloom, B., Cheng, A., Dsouza, A.

Volltext

Precongruence formats for decorated trace preorders von Bloom, B., Fokkink, W., van Glabbeek, R.

Volltext

Thorn-Robust, Concurrent, Extensible Scripting on the JVM von Bloom, Bard, Field, John, Nystrom, Nathaniel, Oestlund, Johan, Richards, Gregor, Strnisa, Rok, Vitek, Jan, Wrigstad, Tobias

Volltext