Adrianna Alexander

According to our database, Adrianna Alexander authored at least 4 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2006

Komposition temporallogischer Spezifikationen: Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions.

Adrianna Alexander

PhD thesis, 2006

2004

Compositional Temporal Logic Based on Partial Order.

Adrianna Alexander, Wolfgang Reisig

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Composition of Temporal Logic Specifications.

Adrianna Alexander

Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003

Logic of Involved Variables - System Specification with Temporal Logic of Distributed Actions.

Adrianna Alexander, Wolfgang Reisig

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003