F. Corradini, K. Hinkelmann, A. Polini, A. Polzonetti, and B. Re, C2ST: a quality framework to evaluate e-government service delivery, 8th International Conference EGOV 2009, Proceedings of ongoing research, project contributions and workshops, pp.74-84, 2009.

F. Corradini, A. Polini, A. Polzonetti, and B. Re, Business processes verification for e-gov service delivery, Information Systems Management journal
DOI : 10.1080/10580530.2010.514164

K. Layne and J. Leeb, Developing fully functional E-government: A four stage model, Government Information Quarterly, vol.18, issue.2, pp.122-136, 2001.
DOI : 10.1016/S0740-624X(01)00066-1

M. Janssen, G. Kuk, and R. W. Wagenaar, A survey of Web-based business models for e-government in the Netherlands, Government Information Quarterly, vol.25, issue.2, pp.202-220, 2008.
DOI : 10.1016/j.giq.2007.06.005

M. Janssen and G. Kuk, E-Government Business Models for Public Service Networks, International Journal of Electronic Government Research, vol.3, issue.3, pp.54-71, 2007.
DOI : 10.4018/jegr.2007070104

J. Davies, T. Janowski, A. K. Ojo, and A. Shukla, Technological foundations of electronic governance, Proceedings of the 1st international conference on Theory and practice of electronic governance, ICEGOV '07, pp.5-11, 2007.
DOI : 10.1145/1328057.1328063

S. Morimoto, A Survey of Formal Verification for Business Process Modeling, ICCS '08: Proceedings of the 8th international conference on Computational Science , Part II, pp.514-522, 2008.
DOI : 10.1007/978-3-540-69387-1_58

P. Y. Wong and J. Gibbons, A Process-Algebraic Approach to Workflow Specification and Refinement, Proceedings of 6th International Symposium on Software Composition, 2007.
DOI : 10.1007/978-3-540-77351-1_5

R. M. Dijkman, M. Dumas, and C. Ouyang, Formal semantics and analysis of BPMN process models using petri nets. On-line, 2007.

J. Ye, S. Sun, W. Song, and L. Wen, Formal semantics of BPMN process models using YAWL. Intelligent Information Technology Applications, pp.70-74, 2007.

M. Wynn, H. Verbeek, W. Van-der-aalst, A. Ter-hofstede, and D. Edmond, Business process verification ??? finally a reality!, Business Process Management Journal, vol.15, issue.1, pp.74-92, 2009.
DOI : 10.1108/14637150910931479

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

A. D. Farrell, M. J. Sergot, and C. Bartolini, Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns, Group Decision and Negotiation, vol.44, issue.4, pp.213-254, 2007.
DOI : 10.1007/s10726-006-9064-4

L. Zhao, Q. Li, X. Liu, and N. Du, A modeling method based on CCS for workflow, Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC '09, pp.376-384, 2009.
DOI : 10.1145/1516241.1516307

A. Lindsay, D. Downs, and K. Lunn, Business processes???attempts to find a definition, Information and Software Technology, vol.45, issue.15, pp.1015-1019, 2003.
DOI : 10.1016/S0950-5849(03)00129-0

P. Harmon, Business Process Change -A guide tor Business Manager and BPM and Six Sigma Professionals, 2004.

S. A. White and D. Miers, BPMN Modeling and Reference Guide Understanding and Using BPMN, Future Strategies Inc, 2008.

C. A. Hoare, Communicating Sequential Processes, 2004.

J. Sun, Y. Liu, and J. S. Dong, Model Checking CSP Revisited: Introducing a Process Analysis Toolkit, Communications in Computer and Information Science, vol.32, issue.6, pp.307-322, 2008.
DOI : 10.1109/TSE.2006.55

M. Zur-muehlen and J. Recker, How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation, Lecture Notes in Computer Science, vol.5074, pp.465-479, 2008.
DOI : 10.1007/978-3-540-69534-9_35

B. Re, Quality of Digital e-Government Services, 2010.