Gilmore, Stephen - University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.


Home		Set as Homepage		Add to Favorite		Contact

28 November, 2009

search for

egories

New Addition

Polyester Bath Mats Manufacturers

Advanced Combustion Technology, Inc.

Indian Staffing Services

Carpet Cleaning Victoria

Color Guard Floors

San Francisco Caregiver

Baltimore Innovations- Desiccant and Moisture Control Experts

Griffin Construction Services

Hotel in Jodhpur - Hotel Sachdeva Excellency

Indian Institute of Alternative Medicine

Solar Panels Outlet

Kitchens

Door Architrave Manufacturers

Dynamic Website Designing

Kobe Motor Company Exports Japanese Used Cars

Bamboo Flooring

OmniCoil Spring Works Inc.

Affordable Used Cars

Australian Vets.

Mercator

Category: Main » Computers » Computer Science » People » G	UPDATE INFO \| REPORT BROKEN LINK
Gilmore, Stephen	Popularity: Hit: 85

Details:

	University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language. Sponsored Links:
URL:	http://www.dcs.ed.ac.uk/~stg/
Title:	Stephen Gilmore
Description:	Computers, Computer Science, People, G - Gilmore, Stephen. University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.
Specialized in:

Gadia, Shashi K. (Popularity:

): Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, ...
Gazdar, Gerald (Popularity:

): University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.
Grumberg, Orna (Popularity:

): The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite ...
George, Deepak (Popularity:

): This site is for all in the field of VLSI design, VHDL/Verilog Coding and Synthesis. It has links to tutorials, ...
Garg, Naveen (Popularity:

): Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gupta, Shyam (Popularity:

): Indian Institute of Technology, Delhi - Databases and Data Mining, Graph Theory, Computer Vision
Ghosh, Subir Kumar (Popularity:

): Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.
Gibbons, Nick (Popularity:

): Keele University, UK
Gueziec, Andre P. (Popularity:

): Triangle Software - Medical imaging, data visualization, 3D graphics, video processing.
Ghosh, R. K. (Popularity:

): Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.

Popular Sites

Grumberg, Orna (Popularity:

): The Technion - Computer-aided verification of software and hardware, modularity and abstraction, temporal logics, equivalences and preorders, automata on infinite ...
Garg, Naveen (Popularity:

): Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms
Gadia, Shashi K. (Popularity:

): Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk ...
Gazdar, Gerald (Popularity:

): University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.

Related Press

TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity:

): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
Survey: 90 Percent of Consumers to Shop Online this Holiday Season; Majority Have Security Concerns (Popularity:

): A new exclusive survey from Sunbelt Software, a leading provider of Windows security software, reveals that more than half (56 ...
CUNA/CFA 10th Annual Survey of Consumer Holiday Spending Attitudes, Plus Spending Tips (Popularity:

): Consumers plan to spend more during the holidays this year than during the depths of the recession a year ago, ...
BJ Services Reports Fourth Fiscal Quarter Net Loss From Continuing Operations of $0.01 per Diluted Share (Popularity:

): BJ Services Company (NYSE: BJS; PCX; CBOE) today reported a net loss from continuing operations of $2.8 million, or $(0.01) ...
Jewelry store in China��Casijewelry,INC (Popularity:

): Casijewelry,INC specialize in wholesale stering silver jewelry,pearl jewelry, pandora jewelry, gemstone jewelry, beaded jewelry,wedding jewelry,shell&coral jewelry, birthstone jewelry and etc. Casijewelry ...

Related Articles

Best Manufacturer of Ayurvedic and Herbal Medicines (Popularity:

): At PADMAVATI we commit to make nature�s best and precious life sustaining herbal medicines to heal body problems. Our Research ...
Psychological Strategies to Overcome Diabetes Depression (Popularity:

): 1. Take Notice of Your Thoughts Becoming aware of your thinking styles and the thoughts that you regularly have are an ...
Home Based Jobs - A Way to Get Extra Income (Popularity:

): Almost every Filipino is looking for home based jobs. This is due to the financial difficulties brought about by the ...
Is Starbucks Going Sleeveless? (Popularity:

): If you're a regular customer of Starbucks and enjoy a hot drink, then you know about the little cardboard "sleeve" ...
How to Email Large Files Fast and Easy (Popularity:

): How to email large files? If that is the question wrangling in your mind, then read on... As we all know, ...