Zakaria Bouziane

According to our database, Zakaria Bouziane authored at least 3 papers between 1997 and 1998.

Collaborative distances:

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

1998

BDL, A Language of Distributed Reactive Objects.

Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem.

Zakaria Bouziane

Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

1997

Cyclic Petri net reachability sets are semi-linear effectively constructible.

Zakaria Bouziane, Alain Finkel

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997