output
20022026
most citedHistorical comparison of gender inequality in scientific careers across countries and disciplines

978 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2011 · cs.LOShow all

5 papers · 2 filters

cs.LO2011★ 1 cited

A Bigraph Relational Model

Maxime Beauquier, Carsten Schürmann

In this paper, we present a model based on relations for bigraphical reactive systems [Milner09]. Its defining characteristics are that validity and reaction relations are captured…

cs.LO2011★ 190 cited

Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs

Thomas T. Hildebrandt, Raghava Rao Mukkamala

We present Dynamic Condition Response Graphs (DCR Graphs) as a declarative, event-based process model inspired by the workflow language employed by our industrial partner and conse…

cs.LO2011★ 24 cited

Nested Hoare Triples and Frame Rules for Higher-order Store

Jan Schwinghammer, Lars Birkedal, Bernhard Reus +1

Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language…

cs.LO2011★ 20 cited

Bisimulations Meet PCTL Equivalences for Probabilistic Automata

Lei Song, Lijun Zhang, Jens Chr. Godskesen +1

Probabilistic automata (PAs) have been successfully applied in formal verification of concurrent and stochastic systems. Efficient model checking algorithms have been studied, wher…

cs.LO2011

A Few Considerations on Structural and Logical Composition in Specification Theories

Axel Legay, Andrzej Wąsowski

Over the last 20 years a large number of automata-based specification theories have been proposed for modeling of discrete,real-time and probabilistic systems. We have observed a l…