Logo eprints

Items where Author is "Duong, Tan"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: De | Du | In | Ma | Tr
Number of items: 12.

De

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

Du

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

In

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

Ma

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Mazzanti, Franco Verifying Properties of Systems Relying on Attribute-Based Communication. In: ModelEd, TestEd, TrustEd. Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Lecture Notes in Computer Science, 10500 . Springer, pp. 169-190. ISBN 978-3-319-68270-9 (2017)

Tr

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang at Work. In: SOFSEM 2017: Theory and Practice of Computer Science. International Conference on Current Trends in Theory and Practice of Informatics. Lecture Notes in Computer Science, 10139 . Springer, pp. 485-497. ISBN 978-3-319-51963-0 (2017)

De Nicola, Rocco and Duong, Tan and Inverso, Omar and Trubiani, Catia AErlang: Empowering Erlang with Attribute-Based Communication. In: Coordination Models and Languages. International Conference on Coordination Languages and Models. Lecture Notes in Computer Science, 10319 . Springer, pp. 21-39. ISBN 978-3-319-59746-1 (2017)

This list was generated on Sat May 25 00:10:27 2024 CEST.