Paul A. J. Tilanus - Concepedia

Author

Paul A. J. Tilanus

Also Known As

P.A.J. Tilanus, Paul A. J. Tilanus

Publications

Citations

H-Index

Concepts

All Affiliations

Paul A. J. Tilanus is an author at University of Turin specializing in formal methods, system software, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	63
2	Computer Science	2	2	63
3	Computer Engineering	1	1	52
4	Computer Architecture	1	1	11
5	Software Analysis	1	1	52

Paul A. J. Tilanus

Publications

Citations

H-Index

Page 1

	Year	Citations
CCITT SDL: Overview of the language and its applications Roberto Saracco, Paul A. J. Tilanus Computer Networks and ISDN Systems Ccitt SdlEngineeringProgram AnalysisSoftware Language EngineeringFormal Methods	1987	52
LOTOS Extended with Clocks Wilfried H. P. van Hulzen, Paul A. J. Tilanus, Han Zuidweg Formal Techniques for (Networked and) Distributed Systems Timing AnalysisClock RecoveryTime DisseminationClock Synchronization	1989	16
G-LOTOS: a graphical language for concurrent systems Tommaso Bolognesi, Elie Najm, Paul A. J. Tilanus Computer Networks and ISDN Systems EngineeringConcurrent ProgrammingFormal MethodsComputer ArchitectureParallel Programming	1994	11

Page 1