Arnim Wedig

According to our database, Arnim Wedig authored at least 6 papers between 1996 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

Concurrency in Distributed Systems under Autonomous and Enforced Actions.

Arnim Wedig, Horst F. Wedde, Anca M. Lazarescu, Elisei Rotaru

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Incremental Modeling Under Large-Scale Distributed Interaction.

Horst F. Wedde, Arnim Wedig, Anca M. Lazarescu, Ralf Paaschen, Elisei Rotaru

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen: formale Basis und Beiträge zur Theorie.

Arnim Wedig

PhD thesis, 2004

2002

Explicit Modeling of Influences, and of Their Absence, in Distributed Systems.

Horst F. Wedde, Arnim Wedig

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel.

Arnim Wedig

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1996

Worst-Case Blocking Scenarios for Distributed Real-Time Programs.

Horst F. Wedde, Arnim Wedig

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996