The categorical limit of a sequence of dynamical systems von Cuijpers, P.J.L.

Volltext

Repairing time-determinism in the process algebra for hybrid systems ACPhssrt von Khadim, U., Cuijpers, P.J.L.

Volltext

Hierarchical states in the Compositional Interchange Format von Beohar, H., Nadales Agut, D.E., van Beek, D.A., Cuijpers, P.J.L.

Volltext

Avoiding diamonds in desynchronisation von Beohar, H., Cuijpers, P.J.L.

Volltext

Repairing time-determinism in the process algebra for hybrid systems ACP hs srt von Khadim, U., Cuijpers, P.J.L.

Volltext

Avoiding diamonds in desynchronisation von Beohar, H, Cuijpers, P.J.L

Volltext bestellen

Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders von Beohar, H., Cuijpers, P.J.L.

Volltext

Hybrid process algebra von Cuijpers, P.J.L., Reniers, M.A.

Volltext

Topological Aspects of Hybrid Processes von Cuijpers, P.J.L., Reniers, M.A.

Volltext

Chapter 4 - Nomadic service discovery in smart cities von Stolikj, M., Lukkien, J.J., Cuijpers, P.J.L., Buchina, N.

Volltext

Topological (Bi-)Simulation von Cuijpers, P.J.L., Reniers, M.A.

Volltext

Nomadic Service Discovery in Smart Cities von Buchina, N, Stolikj, M, Cuijpers, P.J.L, Lukkien, J.J

Volltext

A Basic Parallel Process as a Parallel Pushdown Automaton von Baeten, J.C.M., Cuijpers, P.J.L., van Tilburg, P.J.A.

Volltext

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi von Baeten, J.C.M., van Beek, D.A., Cuijpers, P.J.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H., Theunissen, R.J.M.

Volltext

Linearization of hybrid processes von den Brand, P.C.W., Reniers, M.A., Cuijpers, P.J.L.

Volltext